polyml - Poly/ML compiler and runtime system
| Website: | http://www.polyml.org |
|---|---|
| License: | LGPLv2+ |
| Vendor: | Fedora Project |
- Description:
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.
Packages
| polyml-5.1-4.fc9.i386 [1.1 MiB] |
Changelog
by Fedora Release Engineering (2008-02-18):
- Autorebuild for GCC 4.3 |