@hackage / tpdb

Data Type for Rewriting Systems

Latest2.9.0

About

Metadata

  • Last updated , by JohannesWaldmann
  • License GPL-3.0-only

  • Maintained by: Johannes Waldmann

  • Lottery factor: 1

Links

Installation

Tested Compilers

  1. 9.12.2

Readme

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