name:           djinn-lib
version:        0.0.1.2
x-revision: 1
cabal-version:  >= 1.2
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 && < 4.11,
                   mtl,
                   containers,
                   pretty
  exposed-modules: Djinn.HCheck,
                   Djinn.HTypes,
                   Djinn.LJT,
                   Djinn.LJTFormula