tpdb: Data Type for Rewriting Systems

[ library, logic, program ] [ Propose Tags ]

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

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, 1.5.2
Dependencies base (==4.*), bytestring, containers, data-default, filepath, hashable, HaXml, hxt, mtl, parsec, prettyprinter, text, time, tpdb, transformers, xml-conduit, xml-hamlet [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 Wed May 2 10:28:17 UTC 2018
Distributions NixOS:1.5.2
Executables plain2xtc
Downloads 4400 total (133 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-05-02 [all 1 reports]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees