tpdb: Data Type for Rewriting Systems

[ gpl, library, logic, program ] [ Propose Tags ] [ Report a vulnerability ]

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

Modules

TPDB
- TPDB.Data
- Plain
  - TPDB.Plain.Read
  - TPDB.Plain.Write
- TPDB.XTC
  - TPDB.XTC.Read

Downloads

tpdb-0.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

JohannesWaldmann

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.0, 0.1, 0.3, 0.6.0, 0.6.1, 0.7.1, 0.8.2, 0.8.3, 0.8.4, 0.9.6, 0.9.8, 1.1.1, 1.2.0, 1.3.2, 1.3.3, 1.5.2, 2.1.0, 2.1.1, 2.2.0, 2.2.1, 2.2.2, 2.3.0, 2.7.1, 2.7.2, 2.7.3, 2.8.0, 2.8.1, 2.8.2, 2.8.3, 2.8.4, 2.8.5, 2.8.6
Dependencies	base (>=4 && <5), hxt, parsec, pretty [details]
License	LicenseRef-GPL
Author	Johannes Waldmann
Maintainer	Johannes Waldmann
Uploaded	by JohannesWaldmann at 2011-11-09T14:40:09Z
Category	Science
Source repo	head: git clone git://dfa.imn.htwk-leipzig.de/srv/git/tpdb/
Distributions	NixOS:2.8.6
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	15767 total (96 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs uploaded by user Build status unknown [no reports yet]