Установка:
Для установки polyml в Ubuntu / Linux Mint / Debian, введите в Терминал:
Подробная информация о пакете:
Интерпретатор и интерактивный компилятор для стандартного ML
-
Зависимости:
-
Признать тип данных в файле, используя «магические» номера
-
Компилятор GNU C++
-
Библиотека GNU C: общие библиотеки
-
Библиотека интерфейса внешних функций (файлы разработки)
-
Файлы времени исполнения для Poly / ML, компилятор для стандартного ML
-
Модули для Poly / ML, компилятор для стандартного ML