🚀 go-pugleaf

An implementation of a subset of SML for a PC is now available on
anonymous ftp from ftp.cs.umu.se /pub/umlexe01.uue.

Including the readme file:
----------------------------------------------------------------------------

				microML (uML) a subset of SML
                Version 0.1 alpha , April 1991

This file gives a brief description of microML.
This software comes with ABSOLUTELY NO WARRANTY.

uML is an interpretator for a subset of Standard ML where modules
and records are excluded.

Usage:

        uml [setupfile]

Hardware demands:

  The program runs under MS-DOS on IBM-PC compatible computers, but
  we recommend at least an i286 based computer.
  To get the best performance remove all unneccessary TSR programs.

The following components have (known) bugs:

  - Exception handling.
  - The check of pattern match exhaustivness.
  - Function/expression typing may not contain type variables.
  - Please note that this is an alpha release, so don't be surprised if
    other bugs appear.

Differences from SML:

  - An operator may not be declared infix before its definition.
  - The "op" keyword is not yet implemented.
  - Polymorphic types are not allowed in ref expression.


	 Olof Johansson   olof@cs.umu.se
	 Roger Mahler     mahler@cs.umu.se

----------------------------------------------------------------------------
- Olof Johansson    Institute of Information Processing                    -
-                   University of Umea S-901 97 UMEA SWEDEN                -
- olof@cs.umu.se    Ph: +46 090-166791      Fax: +46 090-166126            -
----------------------------------------------------------------------------