polyml

5.9.2

Fast open-source implementation of Standard ML

Poly/ML is a full implementation of Standard ML available as open-source. It includes a symbolic debugger which allows breakpoints to be set and local variables to be viewed as ML values.

Origin: lang/polyml

Category: lang

Size: 10.7MiB

License: LGPL21

Maintainer: beyert@cs.ucr.edu

Dependencies: 2 packages

Required by: 0 packages

Website: www.polyml.org

$pkg install polyml

Dependencies (2)

libffi gmp

More in lang

perl55.42.0_1

Practical Extraction and Report Language

python3113.11.15

Interpreted object-oriented programming language

ruby3.3.10,1

Object-oriented interpreted scripting language

php848.4.16

PHP Scripting Language (8.4.X branch)

gcc1414.2.0_4

GNU Compiler Collection 14

php828.2.30

PHP Scripting Language (8.2.X branch)

php838.3.29

PHP Scripting Language (8.3.X branch)

php858.5.1

PHP Scripting Language (8.5.X branch)

tcl868.6.17

Tool Command Language

p5-Try-Tiny0.32

Minimal try/catch with proper localization of $@