A suite to evaluate and operate on λ-calculus expressions.
A suite to evaluate and operate on λ-calculus expressions
Repository from Github https://github.comtpreviero/lambda-calculus-evaluator
A suite to evaluate and operate on λ-calculus expressions