Poly/ML compiler and runtime system
Poly/ML is a full implementation of Standard ML available as
open-source. This release supports the ML97 version of the language
and the Standard Basis Library.
Version: 5.9.1
General Commands | |
| poly | the Poly/ML Standard ML implementation |
| polyc | Compile and link a Standard ML program using Poly/ML |
| polyimport | the Poly/ML import program |