name:           djinn-ghc
version:        0.0.1
synopsis:       Generate Haskell code from a type. Bridge from Djinn to GHC API.
description:    Djinn uses an theorem prover for intuitionistic propositional logic
                to generate a Haskell expression when given a type.
                This is the bridge from djinn-lib to GHC API.
license:        BSD3
license-file:   LICENSE
author:         Alejandro Serrano
maintainer:     trupill@gmail.com   
category:       Language
build-type:     Simple
cabal-version:  >=1.8

library
  exposed-modules:  Djinn.GHC
  build-depends:    base >= 4 && < 5,
                    mtl < 2.2,
                    ghc,
                    containers,
                    djinn-lib == 0.0.1
  hs-source-dirs:   src