@hackage / djinn

Generate Haskell code from a type

Latest2025.2.21

Metadata

Last updated 21 Feb 2025, by LennartAugustsson
License BSD-3-Clause
Maintained by: Lennart Augustsson
Lottery factor: 1

Links

Installation

Add this line in your cabal file

Readme

Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type.