author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Fri, 05 Oct 2012 23:02:50 +0300 | |
changeset 1376 | 7f88f37a30be |
parent 1334 | 9bf0d5a1f0cf |
child 1905 | fba288d59662 |
permissions | -rw-r--r-- |
.. -*- coding: utf-8; -*- .. include:: HEADER.rst ============== 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.