sml.rst
author Oleksandr Gavenko <gavenkoa@gmail.com>
Thu, 03 Jan 2019 22:03:33 +0200
changeset 2332 fc34d7c084ba
parent 2228 837f1337c59b
permissions -rw-r--r--
plpgsql

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