polyimport
interpreter and interactive compiler for the Standard ML programming language
Install
- All systems
-
curl cmd.cat/polyimport.sh
- Debian
-
apt-get install polyml
- Ubuntu
-
apt-get install polyml
- Arch Linux
-
pacman -S polyml
- 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
- Dockerfile
- dockerfile.run/polyimport
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.