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.

General Commands
Command Description
poly the Poly/ML Standard ML implementation
polyc Compile and link a Standard ML program using Poly/ML
polyimport the Poly/ML import program