author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Wed, 20 Jun 2012 13:06:50 +0300 | |
changeset 1293 | 4c312e2d8e6b |
parent 1291 | c0985f5705cb |
child 1334 | 9bf0d5a1f0cf |
permissions | -rw-r--r-- |
1291 | 1 |
|
2 |
||
3 |
============== |
|
4 |
Standard ML. |
|
5 |
============== |
|
6 |
.. contents:: |
|
7 |
||
8 |
Implementation. |
|
9 |
=============== |
|
10 |
||
11 |
http://www.standardml.org/ |
|
12 |
Implementations of Standard ML |
|
13 |
http://www.polyml.org/ |
|
14 |
Poly/ML |
|
15 |
http://www.smlnj.org/ |
|
16 |
Standard ML of New Jersey (SML/NJ) |
|
17 |
http://www.itu.dk/people/sestoft/mosml.html |
|
18 |
Moscow ML |
|
19 |
||
20 |
libs. |
|
21 |
===== |
|
22 |
||
23 |
http://mgtk.sourceforge.net/ |
|
24 |
GTK+ bindings. |
|
25 |