The latest version of term-rewriting is 0.4.0.2-0.
lib:term-rewriting
Modules
- Data.Rewriting.Context
- Data.Rewriting.Context.Ops
- Data.Rewriting.Context.Type
- Data.Rewriting.CriticalPair
- Data.Rewriting.CriticalPair.Ops
- Data.Rewriting.CriticalPair.Type
- Data.Rewriting.Pos
- Data.Rewriting.Problem
- Data.Rewriting.Problem.Parse
- Data.Rewriting.Problem.Pretty
- Data.Rewriting.Problem.Type
- Data.Rewriting.Rule
- Data.Rewriting.Rule.Ops
- Data.Rewriting.Rule.Pretty
- Data.Rewriting.Rule.Type
- Data.Rewriting.Rules
- Data.Rewriting.Rules.Ops
- Data.Rewriting.Rules.Rewrite
- Data.Rewriting.Substitution
- Data.Rewriting.Substitution.Match
- Data.Rewriting.Substitution.Ops
- Data.Rewriting.Substitution.Parse
- Data.Rewriting.Substitution.Pretty
- Data.Rewriting.Substitution.Type
- Data.Rewriting.Substitution.Unify
- Data.Rewriting.Term
- Data.Rewriting.Term.Ops
- Data.Rewriting.Term.Parse
- Data.Rewriting.Term.Pretty
- Data.Rewriting.Term.Type
Dependencies
- ansi-wl-pprint lib:ansi-wl-pprint >=0.6 && <0.7
- array lib:array >=0.3 && <0.6
- base lib:base >=4 && <5
- containers lib:containers >=0.3 && <0.6
- mtl lib:mtl >=1.1 && <2.3
- multiset lib:multiset >=0.2 && <0.4
- parsec lib:parsec >=3.1.6 && <3.2
- union-find-array lib:union-find-array >=0.1 && <0.2
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- term-rewriting test:test