| categories: |
Narrowing Rewriting |
| 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.DefinitionalTree Rewriting.Files Rewriting.Narrowing Rewriting.Position Rewriting.Rules Rewriting.Strategy Rewriting.Substitution Rewriting.Term Rewriting.Unification Rewriting.UnificationSpec |
| modules: |
Data.Tuple.Extra Rewriting.CriticalPairs Rewriting.DefinitionalTree Rewriting.Files Rewriting.Narrowing Rewriting.Position Rewriting.Rules Rewriting.Strategy Rewriting.Substitution Rewriting.Term Rewriting.Unification Rewriting.UnificationSpec |
| version: |
3.0.0 |