name:           djinn-lib
version:        0.0.1.4
cabal-version:  >= 1.10
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.6 && < 5,
                    mtl,
                    containers,
                    pretty
  exposed-modules:  Djinn.HCheck,
                    Djinn.HTypes,
                    Djinn.LJT,
                    Djinn.LJTFormula
  default-language: Haskell98