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.
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.