Visual Lambda

Visual Lambda environment allows intuitive manipulation of lambda calculus expressions.

Screenshot

Notation

• Basics
• More detailed in this thesis visual_lambda.pdf

Examples

• 'MULT 3 2' evaluation
• '((λgm.m(gg))(λgm.m(gg)))M' building and evaluation
• 'Y I' evaluation

Dependence

• python 2.5+
• pygame 1.8+

Run

python manipulator.py

Interface

• readme.txt

Related works

• Programming with Visual Expressions, Wayne Citrin
• A Graphical Notation for the Lambda Calculus, Dave Keenan
• Lambda Animator, Mike Thyer
• Alligator Eggs, Bret Victor