author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Mon, 22 Feb 2016 12:41:52 +0200 | |
changeset 1903 | 901e7394849f |
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.