Storyyeller/cubiml-demo Issues
Crate regex missing as a dependency
Updated 3Unsound type annotation
Closed 3type subsumption
UpdatedCode generation bug
Closed 1Error when running online demo
Closed 1
A simple ML-like programming language with subtyping and full type inference.