Interactive Lambda Editor
Reduction Steps
Start by entering a lambda expression above and clicking "Reduce"
🔁
Alpha Conversion
Automatic variable renaming during substitutions to avoid name clashes. Visualize scope boundaries with color-coded regions.
➡
Beta Reduction
Interactive step-by-step application of functions to arguments with animated transformation highlights.
🔄
Y-Combinator
Special mode for recursive function visualization with automatic stack tracing and call tree display.