tpdb

Data Type for Rewriting Systems

https://github.com/jwaldmann/haskell-tpdb

Latest on Hackage:

2.7.2

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

GPL-3.0-only licensed by Alexander Bau, Johannes Waldmann

Maintained by Johannes Waldmann

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