The project has been moved from https://code.google.com/archive/p/visual-lambda/ and from https://bitbucket.org/bntr/visual-lambda as well.
The Visual Lambda environment enables intuitive manipulation of lambda calculus expressions.
Also available online at: https://bntr.itch.io/visual-lambda
- Basics
- More detailed in this thesis: visual_lambda.pdf
- Pairs, construction, reduction: https://www.youtube.com/watch?v=YEyyyzUuUJQ
- 'MULT 3 2' evaluation (gif)
- '((λgm.m(gg))(λgm.m(gg)))M' building and evaluation (gif)
- 'Y I' evaluation (gif)
- python 3
- pygame 2.4.0
python main.py