@hackage term-rewriting0.4

Term Rewriting Library

Categories
License
MIT
Maintainer
haskell-rewriting@informatik.uibk.ac.at
Links
Versions
- 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
- 0.2.1.1 Tue, 21 Feb 2017

Installation
In your cabal file:
Dependencies (8)
- array >=0.3 && <0.6
- base >=4 && <5
- containers >=0.3 && <0.7
- mtl >=1.1 && <2.3
- parsec >=3.1.6 && <3.2
- ansi-wl-pprint >=0.6 && <0.7
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.