Normal Order λ Calculus Evaluator
Typing a backslash (\) results in the lambda symbol.
(ctrl + i)

maximum overdrive (when checked: makes code run faster, but turns off reduction steps)
show line numbers (ctrl + Q)

ctrl + space to toggle fullscreen

Learn λ calculus:     lambda pdf 1   lambda pdf 2   12 min youtube video   1 hr and 12 min youtube video