/STLK

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

Primary LanguageKotlinMIT LicenseMIT

No issues in this repository yet.