rewriting-0.0.1 --------------- Version 0.0.1 Author Jan-Hendrik Matthes Michael Hanus Maintainer Michael Hanus Synopsis Libraries for term rewriting and narrowing Category Rewriting Narrowing Dependencies abstract-curry >= 1.0.0 Compiler compatibility pakcs >= 1.14.0, < 2.0.0 kics2 >= 0.5.0, < 2.0.0 Description 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. Exported modules Rewriting.CriticalPairs Rewriting.Narrowing Rewriting.Strategy Rewriting.Unification Rewriting.DefinitionalTree Rewriting.Position Rewriting.Substitution Rewriting.UnificationSpec Rewriting.Files Rewriting.Rules Rewriting.Term Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/rewriting.git@v0.0.1