A lambda calculus parser and interpreter
A lambda calculus command line repl
A library for creating, parsing and evaluating lambda calculus