diff options
Diffstat (limited to 'development/mlton/README')
| -rw-r--r-- | development/mlton/README | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/development/mlton/README b/development/mlton/README new file mode 100644 index 0000000000..df57f0fd72 --- /dev/null +++ b/development/mlton/README @@ -0,0 +1,7 @@ +MLton is an open-source, whole-program, optimizing Standard ML compiler. It +aims to produce fast executables, and to encourage rapid prototyping and +modular programming by eliminating performance penalties often associated with +the use of high-level language features. + +This is a prebuilt binary package to shorten overwhelmingly long time of local +compilation. |