sml.rst
author Oleksandr Gavenko <gavenkoa@gmail.com>
Tue, 03 Jul 2012 00:00:57 +0300
changeset 1321 baa1dd97c9e1
parent 1291 c0985f5705cb
child 1334 9bf0d5a1f0cf
permissions -rw-r--r--
Delete config file for removed packages. Delete obsolete packages. Check package files for modification.



==============
 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.