A functional programming language with Hindley-Milner type inference - View it on GitHub