ho-rewriting

Version 0.1 revision 0 uploaded 2015-06-25T12:08:35.000Z by EmilAxelsson.

Package meta

Synopsis

Generic rewrite rules with safe treatment of variables and binders

Description

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: http://www.cse.chalmers.se/~emax/documents/axelsson2015lightweight_DRAFT.pdf

• Slides: http://www.cse.chalmers.se/~emax/documents/axelsson2015lightweight_slides.pdf

Author

Emil Axelsson

Bug reports

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

Category

Language

Copyright

Copyright (c) 2015, Emil Axelsson

Homepage

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

Maintainer

emax@chalmers.se

Package URL

n/a

Stability

n/a

Components

• lib:ho-rewriting
• test:examples