1 result found Sort:

polytypic
f-omega-mu polytypic
1
51
mit
2
Fωμ type checker and compiler
wip type-system hobby-project structural-types equirecursive-types higher-kinded-types impredicative-types
Created 2020-12-26
952 commits to main branch, last one about a year ago