@hackage tpdb2.1.1

Data Type for Rewriting Systems

Categories
License
LicenseRef-GPL
Maintainer
Johannes Waldmann
Links
Versions
- 2.8.6 Sat, 9 Aug 2025
- 2.8.5 Tue, 5 Aug 2025
- 2.8.4 Tue, 5 Aug 2025
- 2.8.3 Thu, 31 Jul 2025
- 2.8.2 Wed, 30 Jul 2025
- 2.8.1 Sun, 11 May 2025

Installation
In your cabal file:
Dependencies (14)
- base >=4 && <5
- bytestring
- containers
- data-default
- exceptions
- filepath
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

@hackage tpdb2.1.1

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (14)

Dependents (1)