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 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
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 && <0.4), 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
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 Tue Feb 21 19:08:18 UTC 2017
Distributions NixOS:0.2.1.1
Downloads 2424 total (28 in the last 30 days)
Rating 2.25 (votes: 2) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-02-21 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees