Title:			SML
Author:			Edinburgh University
			Andrew Stevens (Archimedes port)
			Robin Watts (WIMP interface)
Version:		4.0.01
Title From:		Documentation
Author From:		Documentation
Version From:		Documentation
Supplier:		Edinburgh University
			Andrew Stevens (as@uk.ac.ed.aipna)
			Robin Watts (m90rjw@uk.ac.oxford.ecs)
Date:			18/12/92
Keywords:               Program processors ; Program compilers ;
                        List processing languages
Shareware:		Yes
Machine:		Archimedes
Operating system:	RISCOS
Memory requirements:	2200 KBytes
Peripherals needed:	
Other s/ware needed:	
Directory:		micros/arch/riscos/a/a216
Date mounted/updated:	27/01/93
File names:		a216.arc
Unarchived files:	25
Unarchived size:	1019 Kbytes
Omissions:		
See also:		

-------------------------------------------------------------------------------

Acquiring the package:

Download the uuencoded file and extract using SparkPlug 2 (see the "tools_help"
file in arch/riscos/tools for further info).


Description:

SML is a functional programming language with a very powerful and flexible
data-typing mechanism, abstract data-types, and imperative features to make
``real-world'' programming possible.

The ability to do incremental compilation, and the powerful type-checking
make it excellent for rapid prototyping.  With the native compilers available
for larger machines, industrial scale applications can be developed with an
efficiency comparable to fancy Smalltalk or LISP systems etc.

!Sml is a Wimp Multi-Tasking Front end for Edinburgh Standard ML which uses
the Acorn TaskWindow Module to run the language on the desktop.

WARNING: SML is not in the public domain.  To use this software legitimately
you must first complete the license agreement.  This may be found in the file
ORIGREADME.