lambda-calc-racket Lambda calculus in Racket See the lambda calculus spec for description and rationale. Usage In the source directory run racket lambda-calc.rkt "your lambda calculus expression"