/lambda-interp

interpreter for pure lambda calculus

Primary LanguageOCamlMIT LicenseMIT

Watchers