ho-rewriting

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