Binary package “libghc-djinn-lib-dev” in ubuntu eoan

Generate Haskell code from a type

 Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
 generate a Haskell expression when given a type. This is a library extracted
 from Djinn-Lib sources.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.