Paket: polyml (5.7.1-4)
Links für polyml
Debian-Ressourcen:
Quellcode-Paket polyml herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [www.polyml.org]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu polyml
|
|
|
|
-
- dep: file
- Erkennung des Dateityps mittels »magischer« Zahlen
-
- dep: g++
- Der GNU-C++-Compiler
-
- dep: libc6 (>= 2.17)
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- dep: libffi-dev
- »Foreign Function Interface«-Bibliothek (Entwicklungsdateien)
-
- dep: libpolyml9 (>= 5.7.1~20171120.git44b7b88)
- runtime files for Poly/ML, a compiler for Standard ML
-
- dep: polyml-modules (= 5.7.1-4)
- modules for Poly/ML, a compiler for Standard ML
polyml herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
arm64 | 1.732,4 kB | 14.670,0 kB | [Liste der Dateien] |