@hackage tpdb2.7.2

Data Type for Rewriting Systems

Categories
License
GPL-3.0-only
Maintainer
Johannes Waldmann
Links
Versions
- 2.7.2 Wed, 11 Oct 2023
- 2.7.1 Tue, 19 Sep 2023
- 2.3.0 Mon, 21 Feb 2022
- 2.2.2 Sat, 11 Dec 2021
- 2.2.1 Sat, 11 Dec 2021
- 2.2.0 Sat, 27 Jul 2019

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

Installation
In your cabal file:
Tested Compilers
- 9.6.2
Dependencies (14)
- base >=4 && <5
- bytestring
- containers
- filepath
- mtl
- parsec
Dependents (0)

@hackage tpdb2.7.2

Categories

License

Maintainer

Links

Versions

Installation

Tested Compilers

Dependencies (14)

Dependents (0)