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.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