/TAPL

Lambda Calculus Implementation in OCaml.

Primary LanguageOCaml

No issues in this repository yet.