@hackage tpdb0.1

Data Type for Rewriting Systems

Categories
License
LicenseRef-GPL
Maintainer
Johannes Waldmann
Links
Versions
- 2.8.1 Sun, 11 May 2025
- 2.8.0 Thu, 8 May 2025
- 2.7.3 Wed, 26 Feb 2025
- 2.7.2 Wed, 11 Oct 2023
- 2.7.1 Tue, 19 Sep 2023
- 2.3.0 Mon, 21 Feb 2022

Installation
In your cabal file:
Dependencies (4)
- base >=4 && <5
- parsec
- hxt
- pretty
Dependents (1)
@hackage/acme-everything

The package defines data types and parsers for rewriting systems, as used in the Termination Competitions. For syntax and semantics specification, see http://www.termination-portal.org/wiki/TPDB

@hackage tpdb0.1

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (4)

Dependents (1)