homepage: https://github.com/emilaxelsson/ho-rewriting
changelog-type: ''
hash: edf30383db4bbfcd3c0344503bb52842f8292a2fd5f07b62aba1c4f647099a0f
test-bench-deps:
  patch-combinators: -any
  base: -any
  compdata: -any
  ho-rewriting: -any
maintainer: emax@chalmers.se
synopsis: Generic rewrite rules with safe treatment of variables and binders
changelog: ''
basic-deps:
  patch-combinators: -any
  base: ! '>=4.7 && <5'
  compdata: ! '>=0.9'
  containers: -any
  mtl: -any
all-versions:
- '0.1'
author: Emil Axelsson
latest: '0.1'
description-type: markdown
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.\n\nSome examples are
  found in the [examples directory](examples). For more information, see \"Lightweight
  Higher-Order Rewriting in Haskell\":\n\n  * [Paper](http://www.cse.chalmers.se/~emax/documents/axelsson2015lightweight_DRAFT.pdf)\n
  \ * [Slides](http://www.cse.chalmers.se/~emax/documents/axelsson2015lightweight_slides.pdf)\n"
license-name: BSD3

Update from Hackage at 2015-06-25T12:19:43+0000
Update from Hackage at 2015-06-25T12:19:43+0000
