Show HN: Visual Lambda Calculus – a thesis project (2008) revived for the web
Summary
Visual Lambda Calculus offers a graphical environment to explore untyped lambda calculus using Bubble Notation, with live demos, puzzles, and a local run setup. Originating as a 2008 master's thesis, the project has been revived for the web to aid teaching and research in functional programming and reduction strategies.