Topic: "equirecursive-types"
polytypic/f-omega-mu
Fωμ type checker and compiler
Language: OCaml - Size: 1.79 MB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 54 - Forks: 1
thrunduil/Arrow
Progamming language based on the system F-omega with polymorphic kinds, (weakly) equirecursive types, general function overloading, type inference, and flexible syntax.
Language: C++ - Size: 15.2 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0
