Package: libpolyml-dev (5.6-8) [debports]

Links for libpolyml-dev

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [www.polyml.org]

Similar packages:

libpolyml9
libpolyml7
libpolyml11
polyml
polyml-modules
smlnj
mlton-tools
mlton-compiler
mlton-runtime-i486-linux-gnu
mlton-runtime-x86-64-linux-gnu
mlton-runtime-aarch64-linux-gnu

development files 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 files needed to compile stand-alone executables with Poly/ML.

Other Packages Related to libpolyml-dev

depends

recommends

suggests

enhances

dep: libpolyml7 (= 5.6-8)

runtime files for Poly/ML, a compiler for Standard ML

Download libpolyml-dev

Download for all available architectures
Architecture	Package Size	Installed Size	Files
sh4 (unofficial port)	225.8 kB	838.0 kB	[list of files]