cabal-version:      >= 1.8
build-type:         Simple
name:               qed
version:            0.0
license:            BSD3
license-file:       LICENSE
category:           Theorem Provers
author:             Neil Mitchell <ndmitchell@gmail.com>
maintainer:         Neil Mitchell <ndmitchell@gmail.com>
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