Topic: "structural-types"
polytypic/f-omega-mu
Fωμ type checker and compiler
Language: OCaml - Size: 1.79 MB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 54 - Forks: 1
owaismohsin001/CzariScript
A functional/OO programming language with global subtype inference
Language: TypeScript - Size: 364 KB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
