| categories: |
Rewriting Narrowing |
| dependencies: |
[Dependency "base" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "abstract-curry" [[VGte "3.0.0",VLt "5.0.0"]],Dependency "containers" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "transformers" [[VGte "3.0.0",VLt "4.0.0"]]] |
| documentation: |
rewriting ========= These libraries provide a representation of first-order terms and various notions of term rewriting, like position, substitution, unification, critical pairs, etc. Moreover, it defines also operations for rewriting and narrowing strategies and a representation of definitional trees. A previous version of these libraries were part of the PAKCS/KiCS2 distributions. |
| exportedmodules: |
Rewriting.CriticalPairs Rewriting.Narrowing Rewriting.Strategy Rewriting.Unification Rewriting.DefinitionalTree Rewriting.Position Rewriting.Substitution Rewriting.UnificationSpec Rewriting.Files Rewriting.Rules Rewriting.Term |
| modules: |
Data.Tuple.Extra Rewriting.CriticalPairs Rewriting.Narrowing Rewriting.Strategy Rewriting.Unification Rewriting.DefinitionalTree Rewriting.Position Rewriting.Substitution Rewriting.UnificationSpec Rewriting.Files Rewriting.Rules Rewriting.Term |
| version: |
3.0.0 |