Package: polyml (5.2.1-1.1)
Links for polyml
Download Source Package polyml:
- Debian Science Maintainers (QA Page, Mail Archive)
- Achim D. Brucker (QA Page)
- Lionel Elie Mamane (QA Page)
- Homepage [www.polyml.org]
interpreter and interactive compiler for the Standard ML programming language
Poly/ML is an implementation of the Standard ML programming language Standard ML is a general-purpose, modular, type-safe, strict, functional programming language. Poly/ML is SML 97 compliant interpreter and compiler that supports the generation of stand-alone executables with an interactive toplevel (REPL).
This package provides the toplevel interpreter.
Other Packages Related to polyml