All Categories → No Category → structural-types

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