Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Sound And Complete | 81 | 6 years ago | 1 | gpl-3.0 | Haskell | |||||
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system | ||||||||||
Higher Rank | 77 | 7 years ago | 1 | isc | Haskell | |||||
A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism |