/lc-tc-interp

Example typechecker and interpreter for the lambda calculus extended with numeric operations.

Primary LanguageOCamlOtherNOASSERTION

No issues in this repository yet.