A front-end for a simple, statically-typed, purely functional programming language.