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: http://www.cse.chalmers.se/~emax/documents/axelsson2015lightweight.pdf
Slides: http://www.cse.chalmers.se/~emax/documents/axelsson2015lightweight_slides.pdf
[Skip to Readme]
Downloads
- ho-rewriting-0.2.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 0.1, 0.2, 0.2.1 |
|---|---|
| Dependencies | base (>=4.8 && <5), compdata (>=0.10 && <0.11), containers, mtl, patch-combinators [details] |
| License | BSD-3-Clause |
| Copyright | Copyright (c) 2015, Emil Axelsson |
| Author | Emil Axelsson |
| Maintainer | emax@chalmers.se |
| Revised | Revision 1 made by HerbertValerioRiedel at 2016-01-03T08:03:01Z |
| Category | Language |
| Home page | https://github.com/emilaxelsson/ho-rewriting |
| Bug tracker | https://github.com/emilaxelsson/ho-rewriting/issues |
| Source repo | head: git clone https://github.com/emilaxelsson/ho-rewriting |
| Uploaded | by EmilAxelsson at 2015-11-05T08:41:09Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 2322 total (0 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2015-11-05 [all 1 reports] |