Skip to content
Sections
>> Trisquel >> Packages >> aramo >> libdevel >> libpolyml-dev
etiona  ] [  nabia  ] [  aramo  ]
[ Source: polyml  ]

Package: libpolyml-dev (5.7.1-4ubuntu1)

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
  • dep: libpolyml9 (= 5.7.1-4ubuntu1)
    runtime files for Poly/ML, a compiler for Standard ML

Download libpolyml-dev

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 246.5 kB1233 kB [list of files]