cubiml-demo

A simple ML-like programming language with subtyping and full type inference.

APACHE-2.0 License

Stars
158