A functional programming language.
["Tui Language Manual", B. Boutel, TR CSD-8-021, Victoria U of Wellington, 1988].