A programming language with a bidirectional type checker
Primary LanguageRust
No issues in this repository yet.