polytypic/f-omega-mu

Fωμ type checker and compiler

语言：OCaml · GitHub 星标：58 · Fork：1

话题：equirecursive-types · higher-kinded-types · hobby-project · impredicative-types · structural-types · type-system · wip

在 GitHub 上查看原仓库