Package polyml
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.2
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 |