The tpdb package

[Tags: gpl, library]

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


Versions0.0, 0.1, 0.3, 0.6.0, 0.6.1, 0.7.1, 0.8.2, 0.8.3, 0.8.4, 0.9.6, 0.9.8
Dependenciesbase (==4.*), containers, filepath, hashable, HaXml, hxt, mtl, parsec, time, wl-pprint-text
AuthorAlexander Bau, Johannes Waldmann
MaintainerJohannes Waldmann
Home page
Source repositoryhead: git clone git://
UploadedTue Jun 3 19:02:32 UTC 2014 by JohannesWaldmann
Downloads861 total (76 in last 30 days)
StatusDocs not available [build log]
Successful builds reported [all 1 reports]



Maintainers' corner

For package maintainers and hackage trustees