blob: db08c0b0dd65702fc9b9115124c81cded2a01e71 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
This is Moscow ML, a version of Standard ML:
The current version 1.42 of Moscow ML
* implements the Core language of Standard ML, as revised 1996
* implements large parts of the new SML Basis Library
* implements separate compilation and a limited version of the
Standard ML Modules language, with signatures and structures
but no functors
* can produce compact stand-alone executables (a la Caml Light)
* supports quotations and antiquotations, useful for metaprogramming
* includes several new libraries and a new type `char'
|
