Установка:

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

sudo apt updatesudo apt install djinn

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

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

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

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

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

  • libc6

  • libffi6

  • libgmp10

    Многоточечная арифметическая библиотека

  • libtinfo5

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