term-rewriting-0.1.2: Term Rewriting Library
Data.Rewriting.Problem.Type
data StartTerms Source
Constructors
Instances
data Strategy Source
data RulesPair f v Source
Fields
data Problem f v Source
data Theory f v Source
allRules :: RulesPair f v -> [Rule f v]Source