The theoremquest package
TODO
Properties
| Version | 0.0.0 |
|---|---|
| Dependencies | base (≥4.0 & <5), HTTP (4000.1.*), json (≥0.4.4 & <0.5), utf8-string (0.3.*) |
| 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 |
| Upload date | Mon Feb 28 00:50:56 UTC 2011 |
| Uploaded by | TomHawkins |
| Built on | ghc-7.0 |
Modules
Downloads
- theoremquest-0.0.0.tar.gz (Cabal source package)
- package description (included in the package)