rewriting-3.0.0
---------------
Version      3.0.0
Author       Jan-Hendrik Matthes Michael Hanus <mh@informatik.uni-kiel.de>
Maintainer   Michael Hanus <mh@informatik.uni-kiel.de>
Synopsis     Libraries for term rewriting and narrowing
Category     Rewriting Narrowing
Dependencies
    base >= 3.0.0,  < 4.0.0
    abstract-curry >= 3.0.0,  < 5.0.0
    containers >= 3.0.0,  < 4.0.0
    transformers >= 3.0.0,  < 4.0.0
Description
    This package provides 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 the contained libraries was 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://github.com/curry-packages/rewriting.git@v3.0.0
License
    BSD-3-Clause
License file
    LICENSE.md
Homepage
    https://github.com/matthesjh/rewriting-curry
Repository
    https://github.com/matthesjh/rewriting-curry.git
Bug reports
    https://github.com/matthesjh/rewriting-curry/issues