blob: 7bc52c6dc117f9013e41947be09717c0c9803335 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
This is Moscow ML, a version of Standard ML:
The current version 1.40 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'
THE MOSCOW ML HOME PAGE is at http://www.dina.kvl.dk/~sestoft/mosml.html
|