🚀 go-pugleaf

                        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