[ Source: polyml ]
Package: polyml-modules (5.7.1-2)
Links for polyml-modules
Debian Resources:
Download Source Package polyml:
Maintainers:
External Resources:
- Homepage [www.polyml.org]
Similar packages:
modules for Poly/ML, a compiler for Standard ML
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 standard modules for Poly/ML.
Download polyml-modules
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
amd64 | 490.9 kB | 4,846.0 kB | [list of files] |
arm64 | 481.0 kB | 4,794.0 kB | [list of files] |
armhf | 462.3 kB | 2,869.0 kB | [list of files] |
i386 | 466.4 kB | 2,907.0 kB | [list of files] |