Translation
powered by 
Computing (FOLDOC) dictionary
(also found in
English - English (Wordnet), )
Orwell
Lazy functional language, Miranda-like. List comprehensions
and pattern matching. "Introduction to Orwell 5.00",
P.L. Wadler et al, Programming Research Group, Oxford U, 1988.