sml.rst
author Oleksandr Gavenko <gavenkoa@gmail.com>
Mon, 21 Dec 2015 18:18:56 +0200
changeset 1839 248ed4d46099
parent 1334 9bf0d5a1f0cf
child 1905 fba288d59662
permissions -rw-r--r--
Point to HTTP, as HTTPS uses in-house certificate.

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