higher-rank-types topic

List higher-rank-types repositories

Stars

Forks

Watchers

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types