diff options
Diffstat (limited to 'lang/moscow_ml/DESCR')
| -rw-r--r-- | lang/moscow_ml/DESCR | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/moscow_ml/DESCR b/lang/moscow_ml/DESCR new file mode 100644 index 00000000000..fa829dd9bff --- /dev/null +++ b/lang/moscow_ml/DESCR @@ -0,0 +1,11 @@ +This is Moscow ML, a version of Standard ML: + +The current version 1.43 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' |