λ
lambda calculus reducer
strategy
normal order
applicative order
parse
pick an example from the sidebar, or type a λ-expression above
← back
step
run
reset
speed
←
back
space
step
R
run
Esc
stop
reduction steps will appear here — click any step to jump back to it