HOW TO RUN SML?

SML runs on paul as an interpreter.  You invoke the interpreter at a Unix 
prompt as follows:

>sml

Then the system will respond with the following header info:

Standard ML of New Jersey, Version 0.93, February 15, 1993
val it = () : unit

At the next prompt "-", you can input your SML program from file
reduce.sml by the use command. The system responds by typing the name
of the file you input, telling you it is opening that file and then
producing the function signatures for all the function abstractions
(i.e., function definitions) in that file. This works as follows:

>use "reduce.sml";
use "reduce.sml";
[opening reduce.sml]
val reduce = fn : ('a -> 'b -> 'b) -> 'b -> 'a list -> 'b
val cons = fn : 'a -> 'a list -> 'a list
val app = fn : 'a list -> 'a list -> 'a list
val map = fn : ('a -> 'b) -> 'a list -> 'b list
val incr = fn : int -> int
val it = () : unit

You can type in the example functions we had in the notes in class.