leaf is an ML-family language.
We have implemented and experimented with the following features:
- HM Type Checker
- ADT, GADT & Pattern Matching
- Algebraic Effects
- Module System
- Preprocessor
- Incremental Compilation, Editing & LSP
- User-friendly Diagnostics with i18n
Made with contrib.rocks.