This is the command djinn that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
djinn - generate Haskell expressions from types
djinn [OPTION ... ] [FILE ... ]
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
[-|+]multi Print multiple solutions.
[-|+]sorted Sort solutions.
[-|+]debug Debug mode.
Use djinn online using onworks.net services