changeset 1291 | c0985f5705cb |
child 1334 | 9bf0d5a1f0cf |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/sml.rst Wed Jun 06 00:07:32 2012 +0300 @@ -0,0 +1,25 @@ + + +============== + Standard ML. +============== +.. contents:: + +Implementation. +=============== + + http://www.standardml.org/ + Implementations of Standard ML + http://www.polyml.org/ + Poly/ML + http://www.smlnj.org/ + Standard ML of New Jersey (SML/NJ) + http://www.itu.dk/people/sestoft/mosml.html + Moscow ML + +libs. +===== + + http://mgtk.sourceforge.net/ + GTK+ bindings. +