Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
  1. Home
  2. Packages
  3. dev-haskell
  4. djinn-lib

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 sparc
Warnings For All Versions
UnstableOnly for arches: [ amd64, x86 ], all versions are unstable: [ 0.0.1.2, 0.0.1.3 ]
UnstableOnly for arches: [ amd64, x86 ], all versions are unstable: [ 0.0.1.2, 0.0.1.3 ]
0.0.1.3 : 0 ~amd64 ~x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
0.0.1.2 : 0 ~amd64 ~x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
DeprecatedEapi uses deprecated EAPI 5
RedundantVersion slot(0) keywords are overshadowed by version: 0.0.1.3
DeprecatedEapi uses deprecated EAPI 5
RedundantVersion slot(0) keywords are overshadowed by version: 0.0.1.3

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

Changelog

Resources

Related bugs CI Report Open Pull Requests Documentation Forums posts Git repository browser Git log Changes Feed