quentin@prg.ox.ac.uk (Quentin Miller) (10/17/90)
AVAILABLE SOON: The Orwell Functional Programming System ======================================== Orwell is a lazy functional language which resembles a simplified version of Haskell or LML, which has been developed at Oxford over the past 6 years. It is principally designed for teaching, hence our implementation emphasises such things as explicit type error reporting, a display editor as the front-end, and interactive evaluation of expressions. Orwell is particularly suitable as an accompaniment for the textbook, "An Introduction To Functional Programming" by Richard Bird and Philip Wadler (Prentice-Hall International, 1988). We intend to make Orwell freely available in January 1991 to anyone who wants a copy. At Oxford, we are running Orwell on Sun-3 and Sun-4 workstations. We will make the source code (C for the Orwell interpreter, and Modula-2 for the optional VED editor) available to anyone who wishes to try to port it to other UNIX machines. The system comes with a 31--page introductory manual. If you are interested in running Orwell, please write, or ring, or fax, or email: Quentin Miller Programming Research Group 11 Keble Road OXFORD OX1 3QD (JANet) quentin@uk.ac.oxford.prg (tel) +44 865 273848 (fax) +44 865 273839