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.