dockerfile.run

polyc

interpreter and interactive compiler for the Standard ML programming language

Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Homepage: http://www.polyml.org
Section: interpreters

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 polyc on any operating system with command-not-found.com