dockerfile.run

poly

interpreter and interactive compiler for the Standard ML programming language

Debian

RUN apt-get update && \
    apt-get install -y polyml

Ubuntu

RUN apt-get update && \
    apt-get install -y polyml

Arch Linux

RUN pacman -S --noconfirm polyml

Kali Linux

RUN apt-get update && \
    apt-get install -y polyml

Fedora

RUN dnf install -y polyml

Raspbian

RUN apt-get update && \
    apt-get install -y polyml

click the source code to copy install poly on any operating system with command-not-found.com