Extensible simply typed lambda calculus interpreter in Kotlin using object algebras.
Primary LanguageKotlinMIT LicenseMIT