ho-rewriting

Generic rewrite rules with safe treatment of variables and binders.

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

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":

• Paper
• Slides.