Lambda calculus interpreter.
Input lambda expression and press
reduce
:
Intermediate steps
Show all intermediate reduction steps.
Keybinding: I
Lazy evaluation
Don't reduce expressions under lambda abstraction.
Keybinding: L
Reduce
Keybinding: Enter
Full reduce
Keybinding: Shift+Enter
Clear
Keybinding: C
Load
Load variables from standard library. Keybinding: S
Clear
Clear all variables. Keybinding: X