The theoremquest-client package
TODO
Properties
| Version | 0.0.0 |
|---|---|
| Dependencies | base (≥4.0 & <5), HTTP (4000.1.*), network (2.3.*), theoremquest (≥0.0.0) |
| License | BSD3 |
| Author | Tom Hawkins <tomahawkins@gmail.com> |
| Maintainer | Tom Hawkins <tomahawkins@gmail.com> |
| Category | Game, Formal Methods, Theorem Provers |
| Source repository | git clone git://github.com/tomahawkins/theoremquest.git |
| Executables | tq |
| Upload date | Mon Feb 28 00:51:43 UTC 2011 |
| Uploaded by | TomHawkins |
Downloads
- theoremquest-client-0.0.0.tar.gz (Cabal source package)
- package description (included in the package)