Get Gentoo!
  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
0.0.1.2 : 0 ~amd64 ~x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ?ppc ?ppc64 ?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

Changelog

Resources

Related bugs Documentation Forums posts Git repository browser Git log Changes feed