Binary package “libghc-djinn-lib-prof” in ubuntu groovy

Generate Haskell code from a type; profiling libraries

 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, compiled
 for profiling. See for more information on Haskell.