Paketname | polyml |
Beschreibung | interpreter and interactive compiler for the Standard ML programming language |
Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
Version | 5.2.1-1 |
Sektion | universe/interpreters |
Priorität | extra |
Installierte Größe | 3708 Byte |
Hängt ab von | libc6 (>= 2.3.6-6~), libgcc1 (>= 1:4.1.1), libpolyml1 (>= 5.2), libstdc++6 (>= 4.1.1) |
Empfohlene Pakete | |
Paketbetreuer | Ubuntu Developers |
Quelle | |
Paketgröße | 1181804 Byte |
Prüfsumme MD5 | dcd22bf2a12b3799fe092f4cbd80077c |
Prüfsumme SHA1 | 0a31d5e22e5ee4201e19492be40f6143d030b1e8 |
Prüfsumme SHA256 | e7bf258b95a5aa66bcad6e27b412b42f257f66a9f6053449bf00b40d67150ef0 |
Link zum Herunterladen | polyml_5.2.1-1_i386.deb |
Ausführliche Beschreibung | 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.
|