rewriting-2.1.0
---------------
Version      2.1.0
Author       Jan-Hendrik Matthes
Synopsis     Libraries for term rewriting and narrowing
Category     Narrowing Rewriting Substitution Unification
Dependencies
    abstract-curry >= 2.0.0,  < 3.0.0
    base >= 1.0.0,  < 2.0.0
    finite-map >= 0.0.1,  < 0.0.2
Compiler compatibility
    kics2 >= 2.0.0,  < 3.0.0
    pakcs >= 2.0.0,  < 3.0.0
Description
    This package provides a representation of first-order terms and various
    notions of term rewriting, like positions, 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 KiCS2/PAKCS
    distributions.
Exported modules
    Rewriting.CriticalPairs Rewriting.DefinitionalTree Rewriting.Files
    Rewriting.Narrowing Rewriting.Position Rewriting.Rules Rewriting.Strategy
    Rewriting.Substitution Rewriting.Term Rewriting.Unification
    Rewriting.UnificationSpec
Source
    Git https://github.com/matthesjh/rewriting-curry.git@v2.1.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