Lambda Calculus Visualizer
Interactively explore lambda calculus expressions with Tromp diagrams
Visualization
Type in the calculator to see the visualization update in real-time.
Try a simple expression like "1+2" to get started
Interactively explore lambda calculus expressions with Tromp diagrams
Type in the calculator to see the visualization update in real-time.
Try a simple expression like "1+2" to get started