sml.rst
author Oleksandr Gavenko <gavenkoa@gmail.com>
Sat, 20 Feb 2016 23:47:53 +0200
changeset 1897 200fac373cf9
parent 1334 9bf0d5a1f0cf
child 1905 fba288d59662
permissions -rw-r--r--
Highlight links on hover.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1334
9bf0d5a1f0cf Include common header with quick links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1291
diff changeset
     1
.. -*- coding: utf-8; -*-
9bf0d5a1f0cf Include common header with quick links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1291
diff changeset
     2
.. include:: HEADER.rst
1291
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     3
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     4
==============
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     5
 Standard ML.
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     6
==============
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     7
.. contents::
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     8
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     9
Implementation.
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    10
===============
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    11
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    12
  http://www.standardml.org/
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    13
                Implementations of Standard ML
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    14
  http://www.polyml.org/
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    15
                Poly/ML
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    16
  http://www.smlnj.org/
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    17
                Standard ML of New Jersey (SML/NJ)
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    18
  http://www.itu.dk/people/sestoft/mosml.html
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    19
                Moscow ML
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    20
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    21
libs.
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    22
=====
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    23
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    24
  http://mgtk.sourceforge.net/
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    25
                GTK+ bindings.
c0985f5705cb About Standard ML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    26