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, 0.3, 0.3.0.1
Change log Changelog
Dependencies ansi-wl-pprint (==0.6.*), array (>=0.3 && <0.6), base (==4.*), containers (>=0.3 && <0.7), 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 Sat Oct 27 14:14:33 UTC 2018
Distributions NixOS:0.3.0.1
Downloads 2664 total (58 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 2018-10-27 [all 1 reports]
Hackage Matrix CI

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees