[ Source: polyml ]
Package: polyml-modules (5.8.1-1~exp1)
Links for polyml-modules
Debian Resources:
Download Source Package polyml:
Maintainers:
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.
moduli per Poly/ML, un compilatore per Standard ML
Poly/ML è un'implementazione del linguaggio di programmazione Standard ML. Standard ML è un linguaggio di programmazione funzionale di uso generico, modulare, con gestione sicura dei tipi e stringente. Poly/ML è un interprete e compilatore conforme a SML 97, che gestisce la generazione di eseguibili autonomi con un livello superiore interattivo (REPL).
Questo pacchetto fornisce i moduli standard per Poly/ML.
Download polyml-modules
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 495.6 kB | 4,888.0 kB | [list of files] |
| arm64 | 486.2 kB | 4,845.0 kB | [list of files] |
| hppa (unofficial port) | 446.1 kB | 2,900.0 kB | [list of files] |
| i386 | 469.7 kB | 2,936.0 kB | [list of files] |
| ia64 (unofficial port) | 493.4 kB | 4,845.0 kB | [list of files] |
| m68k (unofficial port) | 446.2 kB | 2,900.0 kB | [list of files] |
| mips64el | 489.0 kB | 4,847.0 kB | [list of files] |
| ppc64 (unofficial port) | 461.4 kB | 4,845.0 kB | [list of files] |
| ppc64el | 482.1 kB | 4,845.0 kB | [list of files] |
| riscv64 (unofficial port) | 495.5 kB | 4,845.0 kB | [list of files] |
| s390x | 464.2 kB | 4,845.0 kB | [list of files] |
| sparc64 (unofficial port) | 463.3 kB | 4,845.0 kB | [list of files] |
| x32 (unofficial port) | 467.2 kB | 2,900.0 kB | [list of files] |