undo
Lambda Calculus Visualizer With Abbreviations
(
(MULT TWO)
FOUR)
FOUR
TWO
MULT