/LambdaCalculus

OCAML λ-Calculus Interpreter

Primary LanguageOCamlMIT LicenseMIT

LambdaCalculus

Simple implementation of a λ-calculus interpreter, written in OCAML. An example is provided for recursive printing of 'Hello, world!'