/lambda-interpreter

Yet another untyped λ-calculus interpreter, performing normal-order reduction.

Primary LanguageOCaml

No issues in this repository yet.