Heimdell / f-omega

A "what I can squeeze" out of type inference with type-in-type, RankN and impredicativity.

Geek Repo

Github PK Tool