polyml 5.8.1 Standard ML implementation
Poly/ML is a Standard ML implementation. It is fully compatible with the ML97 standard. It includes a thread library, a foreign function interface, and a symbolic debugger.
- Website: https://www.polyml.org/
- License: LGPL 2.1, LGPL 2.1+
- Package source: sml.scm
- Patches: None
- Builds: x86_64-linux, i686-linux