https://github.com/polytypic/f-omega-mu

Fωμ type checker and compiler

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

Last synced: 10 Aug 2025