A simple ML-like programming language with subtyping and full type inference. - View it on GitHub