/lambda-interpreter

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

Primary LanguageOCaml

Watchers