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.
Try this search on Wikipedia, OneLook, Google
Nearby terms: ORTHOCARTAN « orthogonal « orthogonal instruction set « Orwell » OS » OS2 » OS/2