name:           djinn-lib
version:        0.0.1.3
cabal-version:  >= 1.6
license:        BSD3
license-file:	LICENSE
author:	        Lennart Augustsson
maintainer:     trupill@gmail.com
synopsis:       Generate Haskell code from a type. Library extracted from djinn package.
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.
category:       Language
homepage:       http://www.augustsson.net/Darcs/Djinn/
build-type:     Simple

library
  hs-source-dirs:  src
  build-depends:   base >= 4 && < 5,
                   mtl,
                   containers,
                   pretty
  exposed-modules: Djinn.HCheck,
                   Djinn.HTypes,
                   Djinn.LJT,
                   Djinn.LJTFormula

source-repository head
  type:     git
  location: https://github.com/serras/djinn-lib