Eric-Vin/LambdaCalcToolkit
A compiler from a simple programming language down to lambda calculus and an associated lambda calculus interpreter.
HaskellBSD-3-Clause
A compiler from a simple programming language down to lambda calculus and an associated lambda calculus interpreter.
HaskellBSD-3-Clause