[ Källkod: polyml ]
Paket: polyml-modules (5.7.1-4)
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 | 483,0 kbyte | 4.846,0 kbyte | [filförteckning] |
arm64 | 477,3 kbyte | 4.794,0 kbyte | [filförteckning] |
armhf | 459,9 kbyte | 2.869,0 kbyte | [filförteckning] |
i386 | 463,1 kbyte | 2.907,0 kbyte | [filförteckning] |