How To Install Poly In Debian, Ubuntu, Arch, Kali, Fedora, Raspbian And MacOS?

How To Install Poly In Debian, Ubuntu, Arch, Kali, Fedora, Raspbian And MacOS?

poly

interpreter and interactive compiler for the Standard ML programming language

Maintainer: Debian Science Maintainers



Section: interpreters

Install poly

  • Debian apt-get install polyml Click to copy
  • Ubuntu apt-get install polyml Click to copy
  • Arch Linux pacman -S polyml Click to copy
  • Kali Linux apt-get install polyml Click to copy
  • Fedora dnf install polyml Click to copy
  • Raspbian apt-get install polyml Click to copy
  • macOS brew install polyml Click to copy

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.

mesa-demos

This package provides some demo applications for testing Mesa.
Install the latest version of poly in Debian, Ubuntu, Arch, Kali, Fedora, Raspbian and macOS from terminal. To install the poly just copy the above command for your OS and run into terminal. After you run the command it will grab the latest version of poly from the respository and install it in your computer/server.