Visual Lambda Calculus

The Visual Lambda environment enables intuitive manipulation of lambda calculus expressions.

Notation

python main.py

Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
workspaces		workspaces
!run_pygbag.bat		!run_pygbag.bat
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
cache.py		cache.py
color.py		color.py
common.py		common.py
config.cfg		config.cfg
config.py		config.py
console.py		console.py
construct.py		construct.py
controls.txt		controls.txt
cursors.py		cursors.py
debug.py		debug.py
eating.py		eating.py
events.py		events.py
favicon.png		favicon.png
fielditem.py		fielditem.py
figure.py		figure.py
history.py		history.py
kgrind.py		kgrind.py
lambdaparser.py		lambdaparser.py
let.py		let.py
library.py		library.py
library.txt		library.txt
localstorage.py		localstorage.py
main.py		main.py
matrix.py		matrix.py
node.py		node.py
noke.py		noke.py
pygbag_index_html.tmpl		pygbag_index_html.tmpl
refnames.py		refnames.py
ring.py		ring.py
saving.py		saving.py
screenshot.png		screenshot.png
setup.py		setup.py
toolbar.py		toolbar.py
toolbar_icons.png		toolbar_icons.png
vector.py		vector.py
window.py		window.py