term-rewriting: Term Rewriting Library

[ library, logic, mit ] [ Propose Tags ]

Yet Another Term Rewriting Library.

This library provides basic data types and functionality for first order term rewriting.

Versions [faq] 0.1, 0.1.1, 0.1.2, 0.1.2.1, 0.1.2.2, 0.2, 0.2.1, 0.2.1.1, 0.3, 0.3.0.1, 0.4, 0.4.0.1
Dependencies ansi-wl-pprint (==0.6.*), array (>=0.3 && <0.6), base (>=4 && <4.8), containers (>=0.3 && <0.6), mtl (>=1.1 && <2.3), multiset (==0.2.*), parsec (>=3.1.6 && <3.2), union-find-array (==0.1.*) [details]
License MIT
Author Martin Avanzini, Bertram Felgenhauer, Christian Sternagel, Ilya Epifanov
Maintainer haskell-rewriting@informatik.uibk.ac.at
Revised Revision 1 made by HerbertValerioRiedel at Mon Feb 11 19:46:47 UTC 2019
Category Logic
Source repo head: git clone git://github.com/haskell-rewriting/term-rewriting
Uploaded by BertramFelgenhauer at Tue Oct 28 00:13:20 UTC 2014
Distributions NixOS:0.4.0.1
Downloads 3705 total (193 in the last 30 days)
Rating 2.25 (votes: 2) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees