Lambda Calculus Interpreter
A simple Lambda Calculus Interpreter, using call-by-name semantics. The language is pretty much Church’s simple untyped lambda calculus, the only concession for usefulness is the addition of numbers.
A simple Lambda Calculus Interpreter, using call-by-name semantics. The language is pretty much Church’s simple untyped lambda calculus, the only concession for usefulness is the addition of numbers.