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

Generate Haskell code from a type; documentation

 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 the documentation for a library for the Haskell
 programming language.
 See for more information on Haskell.