changeset 1291 | c0985f5705cb |
child 1334 | 9bf0d5a1f0cf |
1290:59855e9ef4c2 | 1291:c0985f5705cb |
---|---|
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 |