HN Showcase
Back to browse
GitHub Repository

Visual environment for manipulation the lambda calculus expressions

76 starsPython

Visual Lambda Calculus – a thesis project (2008) revived for the web

by bntr·Feb 28, 2026·49 points·9 comments
Visit ProjectView on HN

AI Analysis

●●SolidNiche GemWizardryEye Candy

Animated visual reduction of lambda terms beats textbook notation, but audience is pure CS academics.

Strengths
  • •Bubble Notation is a genuinely clever visualization—abstracts lambda syntax into draggable 2D trees that make reduction intuitive.
  • •Smooth animation of beta-reduction steps makes the normally opaque process followable and engaging.
  • •Revived thesis project with live web demo, playable puzzles, and actual historical weight (2008 original work).
Weaknesses
  • •Audience is extremely narrow: CS educators and lambda calculus hobbyists. Most developers never need this.
  • •No clear evidence this outpaces existing tools (Racket's lambda visualization, pen-and-paper pedagogies, or theorem provers).
Category
Education
Target Audience

Computer science students, educators, lambda calculus researchers, and functional programming enthusiasts

Similar To

Racket DrRacket lambda visualizer · GHCi interactive Haskell REPL · Alloy Analyzer

Post Description

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

Similar Projects