Установка:

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

sudo apt update
sudo apt install djinn

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

генерировать выражения Haskell из типов

Джинн использует доказательство теоремы для интуиционистской логики высказываний для генерации выражения Хаскелла при задании типа.

Учитывая тип, программа выведет выражение этого типа, если оно существует. Если Джинн говорит, что тип не реализуется, это потому, что нет (общего) выражения данного типа.

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

  • libc6

  • libffi6

  • libgmp10

  • libtinfo5

    общая библиотека terminfo низкого уровня для обработки терминала