Skip to content
Sections
>> Trisquel >> Packages >> etiona >> interpreters >> polyml
etiona  ] [  nabia  ] [  aramo  ]
[ Source: polyml  ]

Package: polyml (5.7.1-1)

interpreter and interactive 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 top-level interpreter and compiler.

Other Packages Related to polyml

  • depends
  • recommends
  • suggests
  • dep: file
    Recognize the type of data in a file using "magic" numbers
  • dep: g++
    GNU C++ compiler
  • dep: libc6 (>= 2.1.3) [i386]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
    dep: libc6 (>= 2.2.5) [amd64]
  • dep: libffi-dev
    Foreign Function Interface library (development files)
  • dep: libpolyml9 (>= 5.7.1~20171120.git44b7b88)
    runtime files for Poly/ML, a compiler for Standard ML
  • dep: polyml-modules (= 5.7.1-1)
    modules for Poly/ML, a compiler for Standard ML

Download polyml

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 1,947.8 kB17995 kB [list of files]
i386 1,197.9 kB8803 kB [list of files]