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 and termination proofs, as used in the Termination Competitions. For syntax and semantics specification, see http://www.termination-portal.org/wiki/TPDB

Modules

[Index]

TPDB
- CPF
  - Proof
    - TPDB.CPF.Proof.Type
    - TPDB.CPF.Proof.Xml
- TPDB.Convert
- TPDB.DP
- TPDB.Data
  - TPDB.Data.Term
  - TPDB.Data.Xml
- TPDB.Input
- TPDB.Mirror
- Plain
  - TPDB.Plain.Read
  - TPDB.Plain.Write
- TPDB.Pretty
- Rainbow
  - Proof
    - TPDB.Rainbow.Proof.Type
    - TPDB.Rainbow.Proof.Xml
- TPDB.XTC
  - TPDB.XTC.Read
- TPDB.Xml
  - TPDB.Xml.Pretty

Downloads

tpdb-0.8.3.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), containers, filepath, hashable, HaXml, hxt, parsec, time, wl-pprint-text [details]
License	LicenseRef-GPL
Author	Johannes Waldmann
Maintainer	Johannes Waldmann
Uploaded	by JohannesWaldmann at 2014-02-22T16:23:46Z
Category	Logic
Home page	https://github.com/jwaldmann/haskell-tpdb
Source repo	head: git clone git://github.com/jwaldmann/haskell-tpdb.git
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 available [build log] Successful builds reported [all 1 reports]