sml.rst
author Oleksandr Gavenko <gavenkoa@gmail.com>
Mon, 16 Sep 2019 22:13:19 +0300
changeset 2376 20b65f046002
parent 2228 837f1337c59b
permissions -rw-r--r--
Revoke privileges and drop role.

.. -*- coding: utf-8; -*-

==============
 Standard ML.
==============
.. contents::
   :local:

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.