The project was migrated from https://code.google.com/archive/p/visual-lambda/ and from https://bitbucket.org/bntr/visual-lambda.
Visual Lambda Calculus
Visual Lambda is a graphical environment and visual programming tool for exploring untyped lambda calculus using Bubble Notation.
It represents lambda expressions as colorful, tree-like 2D structures and animates beta-reduction smoothly, making reductions easy to follow.
The project started as a master's thesis (2008); see the thesis for details: visual_lambda.pdf.
This might be useful for students, educators and researchers who want an intuitive, interactive way to explore λ‑calculus and reduction strategies.
Try it live: https://bntre.github.io/visual-lambda/
Lambda puzzles challenge: https://bntre.github.io/visual-lambda/#workspace=puzzles
Or alternatively: https://bntr.itch.io/visual-lambda
Bubble Notation
... continue reading