GitPlanet
All Categories → No Category → higher-rank-types

Top 1 higher-rank-types open source projects

vanilla-lang
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
✭ 73
haskellNixlambda-calculuspolymorphismtype-inferencesystem-fhigher-rank-types
1-1 of 1 higher-rank-types projects