higher-rank-types topic
List
higher-rank-types repositories
vanilla-lang
87
Stars
3
Forks
Watchers
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types