 This is the
Poly/ML home page.
Poly/ML is a full implementation of Standard ML available as open-source.
Latest news: The CVS repository
on SourceForge has been moved to SVN and Trac has been enabled.
There
is a Poly/ML mailing list available at the University of Edinburgh.
|
