Frankly Frank This is a prototype implementation of the Frank programming language. See the draft paper by Sam Lindley and Conor McBride (http://homepages.inf.ed.ac.uk/slindley/papers/frankly-draft-march2014.pdf) for details on the language.