name: theoremquest-client
version: 0.0.0
category: Game, Formal Methods, Theorem Provers
synopsis: A simple client for the TheoremQuest 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
executable tq
main-is: TheoremQuestClient.hs
build-depends: base >= 4.0 && < 5,
network >= 2.3 && < 2.4,
HTTP >= 4000.1 && < 4000.2,
theoremquest >= 0.0.0
ghc-options: -W
source-repository head
type: git
location: git://github.com/tomahawkins/theoremquest.git