Name: kure Version: 2.4.0 Synopsis: Combinators for Strategic Programming Description: 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. Category: Language License: BSD3 License-file: LICENSE Author: Neil Sculthorpe and Andy Gill Maintainer: Neil Sculthorpe Copyright: (c) 2012 The University of Kansas Homepage: http://www.ittc.ku.edu/csdl/fpg/Tools/KURE Stability: beta build-type: Simple Cabal-Version: >= 1.6 Extra-Source-Files: examples/Examples.hs examples/Fib/AST.hs examples/Fib/Kure.hs examples/Fib/Examples.hs examples/Lam/AST.hs examples/Lam/Kure.hs examples/Lam/Examples.hs examples/Expr/AST.hs examples/Expr/Kure.hs examples/Expr/Examples.hs Library Build-Depends: base >= 4.5 && < 5 Ghc-Options: -Wall Exposed-modules: Language.KURE Language.KURE.Combinators Language.KURE.Translate Language.KURE.Injection Language.KURE.Walker Language.KURE.Utilities