@hackage tpdb2.7.3
Data Type for Rewriting Systems
Installation
Tested Compilers
Dependencies (14)
- base >=4 && <5
- bytestring
- containers
- filepath
- mtl
- parsec Show all…
Dependents (1)
@hackage/acme-everything
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