A simple functional programming language and compiler for it.