Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Data.Rewriting.Rule.Type
Documentation
Rewrite rule with left-hand side and right-hand side.
term-rewriting-0.3.0.1: Term Rewriting Library
Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Data.Rewriting.Rule.Type
Rewrite rule with left-hand side and right-hand side.