tpdb

Data Type for Rewriting Systems https://github.com/jwaldmann/haskell-tpdb

Latest on Hackage:1.3.3

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 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

comments powered byDisqus