The tpdb package

The package defines data types and parsers for rewriting systems, 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.*), hxt, parsec, pretty
License	GPL
Author	Johannes Waldmann
Maintainer	Johannes Waldmann
Category	Science
Source repository	git clone git://dfa.imn.htwk-leipzig.de/srv/git/tpdb/
Upload date	Mon Oct 31 18:39:18 UTC 2011
Uploaded by	JohannesWaldmann
Built on	ghc-7.2

Modules

TPDB
- TPDB.Data
- Plain
  - TPDB.Plain.Read
  - TPDB.Plain.Write
- TPDB.XTC
  - TPDB.XTC.Read

Downloads

tpdb-0.0.tar.gz (Cabal source package)
package description (included in the package)