All Categories → No Category → equirecursive-types

Top 1 equirecursive-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 equirecursive-types projects