The lang/polyml port

polyml-5.9.1 – Poly/ML implementation of standard ML (cvsweb github mirror)

Description

Poly/ML is a Standard ML implementation originally written in an
experimental language called Poly. It has been fully compatible
with the ML97 standard since version 4.0.

Poly/ML takes a conservative approach to the Standard ML language
and avoids incompatible extensions. It has added various library
extensions particularly the thread library.

The documentation for the Poly/ML Basis library can be found at
 and
includes information on global values and types as well as structures,
signatures and functors. More in-depth documentation can be found
at the SML Family website
.

WWW: https://polyml.org/

Maintainer

The OpenBSD ports mailing-list

Only for arches

amd64

Library dependencies

Files

/usr/local/bin/poly
/usr/local/bin/polyc
/usr/local/bin/polyimport
/usr/local/lib/libpolymain.a
/usr/local/lib/libpolymain.la
/usr/local/lib/libpolyml.a
/usr/local/lib/libpolyml.la
/usr/local/lib/libpolyml.so.0.0
/usr/local/lib/pkgconfig/polyml.pc
/usr/local/lib/polyml/
/usr/local/lib/polyml/modules/
/usr/local/lib/polyml/modules/IntInfAsInt
/usr/local/man/man1/poly.1
/usr/local/man/man1/polyc.1
/usr/local/man/man1/polyimport.1

The lang/polyml port

polyml-5.9.1 – Poly/ML implementation of standard ML (cvsweb github mirror)

Description

Maintainer

Only for arches

Categories

Library dependencies

Files