The tpdb package
The package defines data types and parsers for rewriting systems and termination proofs, as used in the Termination Competitions. For syntax and semantics specification, see http://www.termination-portal.org/wiki/TPDB
Properties
| Versions | 0.0, 0.1, 0.3, 0.6.0, 0.6.1, 0.7.1 |
|---|---|
| Dependencies | base (4.*), containers, filepath, hashable, HaXml, hxt, parsec, time, wl-pprint-text |
| License | GPL |
| Author | Johannes Waldmann |
| Maintainer | Johannes Waldmann |
| Category | Science |
| Source repository | git clone git://github.com/jwaldmann/haskell-tpdb.git |
| Upload date | Sat Feb 16 16:05:46 UTC 2013 |
| Uploaded by | JohannesWaldmann |
| Built on | ghc-7.6 |
Modules
- TPDB
- CPF
- Proof
- TPDB.CPF.Proof.Type
- TPDB.CPF.Proof.Xml
- Proof
- TPDB.Convert
- TPDB.DP
- TPDB.Data
- TPDB.Data.Term
- TPDB.Data.Xml
- TPDB.Input
- TPDB.Mirror
- Plain
- TPDB.Plain.Read
- TPDB.Plain.Write
- TPDB.Pretty
- Rainbow
- Proof
- TPDB.Rainbow.Proof.Type
- TPDB.Rainbow.Proof.Xml
- Proof
- TPDB.XTC
- TPDB.XTC.Read
- TPDB.Xml
- TPDB.Xml.Pretty
- CPF
Downloads
- tpdb-0.7.1.tar.gz (Cabal source package)
- package description (included in the package)