[ Källkod: polyml ]
Paket: polyml-modules (5.7.1-2)
Länkar för polyml-modules
Debianresurser:
Hämta källkodspaketet polyml:
Ansvariga:
Externa resurser:
- Hemsida [www.polyml.org]
Liknande paket:
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.
Hämta polyml-modules
Arkitektur | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|
amd64 | 490,9 kbyte | 4.846,0 kbyte | [filförteckning] |
arm64 | 481,0 kbyte | 4.794,0 kbyte | [filförteckning] |
armhf | 462,3 kbyte | 2.869,0 kbyte | [filförteckning] |
i386 | 466,4 kbyte | 2.907,0 kbyte | [filförteckning] |