KURE 2.0.0 is now available on Hackage. This is a substantial redesign
of the previous versions of KURE. Comments or feature requests are welcome.
About KURE
----------
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. KURE is the engine inside HERMIT, our Equational Rewrite Framework.
Homepage: http://www.ittc.ku.edu/csdl/fpg/Tools/KURE
Introductory blog post: http://www.ittc.ku.edu/csdlblog/?p=124
Examples
--------
Some small examples of using KURE are provided in the source bundle.
For a larger, non-trivial, example, see the description of its use in
the HERMIT project:
http://ittc.ku.edu/csdl/fpg/node/126
Acknowledgement
---------------
This work was supported by funding from the NSF, for which we are grateful.
Neil Sculthorpe
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
