tpdb: Data Type for Rewriting Systems

[ library, logic ] [ Propose Tags ]
Versions 0.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, 1.1.1, 1.2.0, 1.3.2, 1.3.3
Dependencies base (==4.*), containers, filepath, hashable, HaXml, hxt, mtl, parsec, time, wl‑pprint‑text [details]
License LicenseRef-GPL
Author Alexander Bau, Johannes Waldmann
Maintainer Johannes Waldmann
Category Logic
Home page
Source repo head: git clone git://
Uploaded by JohannesWaldmann at Sun Jun 22 18:27:29 UTC 2014
Distributions NixOS:1.3.3
Downloads 4234 total (39 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Successful builds reported [all 1 reports]
Hackage Matrix CI

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




Maintainer's Corner

For package maintainers and hackage trustees