Package: polyml (5.2.1-1) [universe]
Links for polyml
Download Source Package polyml:
Original Maintainers (usually from Debian):
- Debian Science Maintainers (Mail Archive)
- Achim D. Brucker
- Lionel Elie Mamane
It should generally not be necessary for users to contact the original maintainer.
- 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