path: root/development/mosml
diff options
author Roberto Metere <>2015-05-10 23:05:22 +0700
committer Willy Sudiarto Raharjo <>2015-05-10 23:05:22 +0700
commit62a95130a755f3122772ea1e95e46ec208e13580 (patch)
treecf552e1e24ca14b3453bbb99e27f04f459fe501d /development/mosml
parentaf11225ee6d8f3e3b27af57bf5342eae27e3e248 (diff)
development/mosml: Update README.
Signed-off-by: Willy Sudiarto Raharjo <>
Diffstat (limited to 'development/mosml')
1 files changed, 3 insertions, 17 deletions
diff --git a/development/mosml/README b/development/mosml/README
index 53d319b656..63402af841 100644
--- a/development/mosml/README
+++ b/development/mosml/README
@@ -1,18 +1,4 @@
-glpk - GNU Linear Programming Kit
+Moscow Standard ML interpreter
-The GLPK package is intended for solving large-scale linear programming
-(LP), mixed integer programming (MIP), and other related problems.
-It is a set of routines written in ANSI C and organized in the form of a
-callable library.
-GLPK supports the GNU MathProg language, which is a subset of the AMPL
-The GLPK package includes the following main components:
- * primal and dual simplex methods
- * primal-dual interior-point method
- * branch-and-cut method
- * translator for GNU MathProg
- * application program interface (API)
- * stand-alone LP/MIP solver
+Moscow ML is a light-weight implementation of Standard ML (SML),
+a strict functional language used in teaching and research.