Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

dev-haskell/
djinn-lib

Generate Haskell code from a type. Library extracted from djinn package

http://www.augustsson.net/Darcs/Djinn/

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 riscv sparc
0.0.1.3 : 0 ~amd64 ~x86 alpha arm arm64 hppa ia64 ppc ppc64 riscv sparc

Package Metadata

  • Full description
    Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is a library extracted from Djinn sources.
  • USE flags
    Global Use Flags
  • License
    BSD
  • Maintainer(s)
    Gentoo Haskell