Compiling and loading the naive imperative evaluator (Imp/README.TXT)
---------------------------------------------------------------------

Archive imp.zip contains the files used below.

Loading and running the naive imperative language

   fsi Naive.fs

   open Naive;;
   run ex1;;
   run ex2;;
