cabal-version: >= 1.8 build-type: Simple name: qed version: 0.0 license: BSD3 license-file: LICENSE category: Theorem Provers author: Neil Mitchell maintainer: Neil Mitchell copyright: Neil Mitchell 2015 synopsis: Simple prover description: A prototype proof system. homepage: https://github.com/ndmitchell/qed#readme bug-reports: https://github.com/ndmitchell/qed/issues data-files: imports/*.hs extra-doc-files: README.md CHANGES.txt tested-with: GHC==7.10.1, GHC==7.8.4 source-repository head type: git location: https://github.com/ndmitchell/qed.git library build-depends: base == 4.*, filepath, directory, deepseq, transformers, exceptions, uniplate, extra, haskell-src-exts hs-source-dirs: src exposed-modules: Proof.QED Proof.QED.Internal other-modules: Paths_qed Proof.Exp.Core Proof.Exp.HSE Proof.Exp.Prop Proof.QED.Trusted Proof.QED.Type Proof.Util test-suite qed-test type: exitcode-stdio-1.0 main-is: Main.hs build-depends: base, qed, transformers hs-source-dirs: test other-modules: Classes HLint