@hackage / ho-rewriting

Generic rewrite rules with safe treatment of variables and binders

Latest0.3

About

Metadata

  • Last updated , by EmilAxelsson
  • License BSD-3-Clause

  • Maintained by: 78emil@gmail.com

  • Lottery factor: 1

Links

Installation

Readme

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