λ Calculus Interpreter Lambda Calculus Interpreter Examples: (lambda x. x) 1 (lambda x. x 10) (lambda y.y) (lambda x. x 5) (lambda y. 1) Demo