Show HN: Visual Lambda Calculus – a thesis project (2008) revived for the web
bntr Saturday, February 28, 2026
Originally built as my master's thesis in 2008, Visual Lambda is a graphical environment where lambda terms are manipulated as draggable 2D structures ("Bubble Notation"), and beta-reduction is smoothly animated.
I recently revived and cleaned up the project and published it as an interactive web version: https://bntre.github.io/visual-lambda/
GitHub repo: https://github.com/bntre/visual-lambda
It also includes a small "Lambda Puzzles" challenge, where you try to extract a hidden free variable (a golden coin) by constructing the right term: https://github.com/bntre/visual-lambda#puzzles
Summary
The article introduces Visual Lambda, a visual programming tool for creating and managing AWS Lambda functions. It allows users to design and deploy serverless applications through a graphical interface, simplifying the development process.
36
4
Summary
github.com