Simply typed lambda calculus with type inference. Uses https://github.com/ndzik/dzarser for parsing and is in an early and experimental state.
Primary LanguageHaskellOtherNOASSERTION
No issues in this repository yet.