sml.rst
author Oleksandr Gavenko <gavenkoa@gmail.com>
Fri, 13 Jul 2012 22:32:19 +0300
changeset 1334 9bf0d5a1f0cf
parent 1291 c0985f5705cb
child 1905 fba288d59662
permissions -rw-r--r--
Include common header with quick links.
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