Generic rewrite rules with safe treatment of variables and binders https://github.com/emilaxelsson/ho-rewriting
|Latest on Hackage:||0.2|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
This package gives a generic implementation of higher-order rewriting. The main idea is to use techniques from embedded domain-specific languages to offer an interface which is both safe and syntactically appealing.
Some examples are found in the examples directory. For more information, see "Lightweight Higher-Order Rewriting in Haskell":