Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
knuthBendix :: Set (Pair GWord) -> GeneratorsDescr -> StringRewriting Source #
knuthBendixBy :: GenOrder -> Set (Pair GWord) -> GeneratorsDescr -> StringRewriting Source #
module StringRewriting
Safe Haskell | None |
---|---|
Language | Haskell2010 |
knuthBendix :: Set (Pair GWord) -> GeneratorsDescr -> StringRewriting Source #
knuthBendixBy :: GenOrder -> Set (Pair GWord) -> GeneratorsDescr -> StringRewriting Source #
module StringRewriting