djinn

generate Haskell expressions from types

Install

All systems
curl cmd.cat/djinn.sh
Debian Debian
apt-get install djinn
Ubuntu
apt-get install djinn
image/svg+xml Kali Linux
apt-get install djinn
Windows (WSL2)
sudo apt-get update sudo apt-get install djinn
Raspbian
apt-get install djinn

djinn

generate Haskell expressions from types

Djinn uses a theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. Given a type the program will deduce an expression of this type, if one exists. If the Djinn says the type is not realizable it is because there is no (total) expression of the given type.