ho-rewriting

Generic rewrite rules with safe treatment of variables and binders

https://github.com/emilaxelsson/ho-rewriting

Latest on Hackage:

0.2.1

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.

BSD-3-Clause licensed by Emil Axelsson

Maintained by [email protected]

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" (presented at TFP 2015):

Paper: https://emilaxelsson.github.io/documents/axelsson2015lightweight.pdf
Slides: https://emilaxelsson.github.io/documents/axelsson2015lightweight_slides.pdf