Expression Tree
Abstraction (λ)
Application
Variable
Redex
Reduction Steps (drag to reorder)
Enter a lambda expression or click a combinator to begin.
Use "Step β" for one reduction, or "Reduce All" for normal form.