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:45 UTC 2019
Category Logic
Home page http://cl-informatik.uibk.ac.at/software/haskell-rewriting/
Source repo head: git clone git://github.com/haskell-rewriting/term-rewriting
Uploaded by BertramFelgenhauer at Wed Dec 10 14:16:35 UTC 2014
Distributions NixOS:0.4.0.1
Downloads 3716 total (81 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