author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Wed, 05 Aug 2015 23:55:34 +0300 | |
changeset 1729 | 22ffd80639c0 |
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.