Установка:
Для установки djinn в Ubuntu / Linux Mint / Debian, введите в Терминал:
sudo apt update
sudo apt install djinn
Подробная информация о пакете:
генерировать выражения Haskell из типов
Джинн использует доказательство теоремы для интуиционистской логики высказываний для генерации выражения Хаскелла при задании типа.
Учитывая тип, программа выведет выражение этого типа, если оно существует. Если Джинн говорит, что тип не реализуется, это потому, что нет (общего) выражения данного типа.
Список зависимостей:
-
•libc6
-
•libffi6
-
•libgmp10
-
общая библиотека terminfo низкого уровня для обработки терминала