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.
|
|||||
Lambda Calculus Interpreter |
|||||
|
|
|||||
|
|||||
Lambda Calculus InterpreterA 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. |
|||||
|
|
|||||
