Update "moscow_ml" package to version 2.00. Changes since version 1.44:

This is file README for Moscow ML 2.00 for Linux/Unix (June 2000)
- The full SML Modules language (structures, signatures, and functors)
  is now supported, thanks to Claudio Russo.  Also, several extensions
  to the SML Modules language are provided:
- higher-order functors: functors may be defined within structures
  and functors
- first-class modules: structures and functors may be packed and
  then handled as Core language values, which may then be unpacked
  as structures or functors again
- recursive modules: signatures and structures may be recursively
  defined
- Value polymorphism has become friendlier: non-generalizable free
  type variables are left free, and become instantiated (once only)
  when the bound variable is used
- Added facilities for creating and communicating with subprocesses
  (structure Unix and Signal from SML Basis Library).
- Added facilities for efficient functional generation of HTML code
  (structure Msp); also supports the writing of ML Server Page
  scripts.
- Added facilities setting and accessing `cookies' in CGI scripts
  (structure Mosmlcookie), thanks to Hans Molin, Uppsala, Sweden.
- The Gdimage structure now produces PNG images (using Thomas
  Boutell's gd library).

0 files changed, 0 insertions, 0 deletions