2013-09-26 17:14:40 +02:00

3 lines
131 B
Plaintext

Poly/ML is Standard ML implementation fully conforming to the 1997
"Definition of Standard ML (Revised)", generally known as ML97.