All Categories → No Category → impredicative-types

Top 1 impredicative-types open source projects

Fωμ type checker and compiler

✭ 46

ocaml shell wip type-system hobby-project higher-kinded-types equirecursive-types structural-types impredicative-types

1-1 of 1 impredicative-types projects