polyimport

interpreter and interactive compiler for the Standard ML programming language

Install

All systems
curl cmd.cat/polyimport.sh
Debian Debian
apt-get install polyml
Ubuntu
apt-get install polyml
Arch Arch Linux
pacman -S polyml
image/svg+xml Kali Linux
apt-get install polyml
Fedora
dnf install polyml
Windows (WSL2)
sudo apt-get update sudo apt-get install polyml
OS X
brew install polyml
Raspbian
apt-get install polyml

polyml

interpreter and interactive compiler for the Standard ML programming language

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 toplevel interpreter.