Установка:

Для установки polyml в Ubuntu / Linux Mint / Debian, введите в Терминал:

sudo apt update
sudo apt install polyml
polyml — интерпретатор и интерактивный компилятор для стандартного ML

Подробная информация о пакете:

Интерпретатор и интерактивный компилятор для стандартного ML

  • Зависимости:

  • file

    Признать тип данных в файле, используя «магические» номера

  • g++

    Компилятор GNU C++

  • libc6

    Библиотека GNU C: общие библиотеки

  • libffi-dev

    Библиотека интерфейса внешних функций (файлы разработки)

  • libpolyml9

    Файлы времени исполнения для Poly / ML, компилятор для стандартного ML

  • polyml-modules

    Модули для Poly / ML, компилятор для стандартного ML