The term-rewriting package

[Tags:library, mit]

Yet Another Term Rewriting Library.

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

Properties

Versions 0.1, 0.1.1, 0.1.2, 0.1.2.1, 0.1.2.2, 0.2
Change log Changelog
Dependencies ansi-wl-pprint (==0.6.*), array (>=0.3 && <0.6), base (==4.*), 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
Stability experimental
Category Logic
Home page http://cl-informatik.uibk.ac.at/software/haskell-rewriting/
Source repository head: git clone git://github.com/haskell-rewriting/term-rewriting
Uploaded Thu May 21 09:02:20 UTC 2015 by BertramFelgenhauer
Distributions NixOS:0.2
Downloads 1111 total (12 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2015-05-23 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees