Package: polyml (5.8.1-1~exp1) [debports]
Links for polyml
Debian Resources:
Download Source Package :
Not foundMaintainers:
External Resources:
- Homepage [www.polyml.org]
Similar packages:
Experimental package
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
interpreter and interactive 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 top-level interpreter and compiler.
Other Packages Related to polyml
|
|
|
|
-
- dep: file
- Recognize the type of data in a file using "magic" numbers
-
- dep: g++
- GNU C++ compiler
-
- dep: libc6 (>= 2.16)
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
-
- dep: libffi-dev
- Foreign Function Interface library (development files)
-
- dep: libpolyml11 (>= 5.8.1)
- runtime files for Poly/ML, a compiler for Standard ML
-
- dep: polyml-modules (= 5.8.1-1~exp1)
- modules for Poly/ML, a compiler for Standard ML
Download polyml
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| x32 (unofficial port) | 1,552.8 kB | 7,277.0 kB | [list of files] |