@hackage term-rewriting0.1.2

Term Rewriting Library

Categories
License
MIT
Maintainer
haskell-rewriting@informatik.uibk.ac.at
Links
Versions
- 0.5 Wed, 27 Aug 2025
- 0.4.0.2 Mon, 2 Sep 2019
- 0.4.0.1 Mon, 11 Feb 2019
- 0.4 Mon, 11 Feb 2019
- 0.3.0.1 Sat, 27 Oct 2018
- 0.3 Fri, 28 Sep 2018

Installation
In your cabal file:
Dependencies (8)
- ansi-wl-pprint >=0.6 && <0.7
- array >=0.3 && <0.6
- base >=4 && <4.8
- containers >=0.3 && <0.6
- mtl >=1.1 && <2.3
- multiset >=0.2 && <0.3
Dependents (2)
@hackage/acme-everything, @hackage/typelevel-rewrite-rules

Yet Another Term Rewriting Library.

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