@hackage kure2.4.10

Combinators for Strategic Programming

Categories
- Language
License
BSD-3-Clause
Maintainer
Neil Sculthorpe <neil@ittc.ku.edu>
Links
- Homepage
- Documentation
- No source repository
Versions
- 2.18.6 Sun, 4 Apr 2021
- 2.16.12 Wed, 28 Feb 2018
- 2.16.10 Wed, 28 Feb 2018
- 2.16.8 Sat, 14 Mar 2015
- 2.16.6 Thu, 15 Jan 2015
- 2.16.4 Thu, 21 Aug 2014

The Kansas University Rewrite Engine (KURE) is a DSL for strategic rewriting. KURE shares concepts with Stratego, but unlike Stratego, KURE is strongly typed. KURE is similar to StrategyLib, but has a lightweight generic traversal mechanism using type families rather than SYB. The basic transformation functionality can be found in Language.KURE.Translate, and the traversal functionality can be found in Language.KURE.Walker. Several basic examples of using KURE are provided in the source-code bundle. For a larger example, see the HERMIT package.

Installation
In your cabal file:
Dependencies (0)
Dependents (0)

@hackage kure2.4.10

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (0)