name:    theoremquest
version: 0.0.0

category: Game, Formal Methods, Theorem Provers

synopsis: A common library for TheoremQuest, a theorem proving game.

description:
  TODO

author:     Tom Hawkins <tomahawkins@gmail.com>
maintainer: Tom Hawkins <tomahawkins@gmail.com>

build-type:    Simple
cabal-version: >= 1.6

license:      BSD3
license-file: LICENSE

library
  build-depends:     base         >= 4.0    && < 5,
                     HTTP         >= 4000.1 && < 4000.2,
                     utf8-string  >= 0.3   && < 0.4,
                     json         >= 0.4.4  && < 0.5
  exposed-modules:
    TheoremQuest
    TheoremQuest.Logic
    TheoremQuest.Transactions
  ghc-options: -W

source-repository head
  type:     git
  location: git://github.com/tomahawkins/theoremquest.git