Gitstar Ranking

namin / higher-rank

Practical type inference for arbitrary-rank types - View it on GitHub
http://research.microsoft.com/en-us/um/people/simonpj/papers/higher-rank/index.htm
Star
9
Rank
1391601