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