BjoernLoetters/noocleus-one
A minimal functional programming language with type inference, algebraic data types and pattern matching
ScalaMIT
Issues
- 0
Introduce type synonyms
#3 opened by BjoernLoetters - 0
Merge scopes of rigid type variables
#2 opened by BjoernLoetters - 0
Add skolemised variables
#1 opened by BjoernLoetters