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](examples). For more information, see "Lightweight Higher-Order Rewriting in Haskell":
* [Paper](https://emilaxelsson.github.io/documents/axelsson2015lightweight.pdf)
* [Slides](https://emilaxelsson.github.io/documents/axelsson2015lightweight_slides.pdf)