author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Mon, 22 Feb 2016 12:41:52 +0200 | |
changeset 1903 | 901e7394849f |
parent 1334 | 9bf0d5a1f0cf |
child 1905 | fba288d59662 |
permissions | -rw-r--r-- |
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 | 3 |
|
4 |
============== |
|
5 |
Standard ML. |
|
6 |
============== |
|
7 |
.. contents:: |
|
8 |
||
9 |
Implementation. |
|
10 |
=============== |
|
11 |
||
12 |
http://www.standardml.org/ |
|
13 |
Implementations of Standard ML |
|
14 |
http://www.polyml.org/ |
|
15 |
Poly/ML |
|
16 |
http://www.smlnj.org/ |
|
17 |
Standard ML of New Jersey (SML/NJ) |
|
18 |
http://www.itu.dk/people/sestoft/mosml.html |
|
19 |
Moscow ML |
|
20 |
||
21 |
libs. |
|
22 |
===== |
|
23 |
||
24 |
http://mgtk.sourceforge.net/ |
|
25 |
GTK+ bindings. |
|
26 |