diff options
Diffstat (limited to 'lang/moscow_ml/pkg-descr')
-rw-r--r-- | lang/moscow_ml/pkg-descr | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/lang/moscow_ml/pkg-descr b/lang/moscow_ml/pkg-descr new file mode 100644 index 000000000000..7bc52c6dc117 --- /dev/null +++ b/lang/moscow_ml/pkg-descr @@ -0,0 +1,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 + |