Name:                kure
Version:             2.12.0
Synopsis:            Combinators for Strategic Programming
Description:	     The Kansas University Rewrite Engine (KURE) is a domain-specific language for strategic rewriting.
	 	     KURE was inspired by Stratego and StrategyLib, and has similarities with Scrap Your Boilerplate and Uniplate.
                     .
                     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 larger examples, see the HERMIT or HTML-KURE packages.
                     .
                     You can read about KURE in the following article:
                     .
                     KURE: A Haskell-Embedded Strategic Programming Language with Custom Closed Universes.  Neil Sculthorpe and Nicolas Frisby and Andy Gill.  2013.
                     <http://www.ittc.ku.edu/~neil/papers_and_talks/kure.pdf>

Category:            Language
License:             BSD3
License-file:        LICENSE
Author:              Neil Sculthorpe and Andy Gill
Maintainer:          Neil Sculthorpe <neil@ittc.ku.edu>
Copyright:           (c) 2012--2013 The University of Kansas
Homepage:            http://www.ittc.ku.edu/csdl/fpg/software/kure.html
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/Context.hs
    examples/Lam/Monad.hs
    examples/Lam/Kure.hs
    examples/Lam/Examples.hs
    examples/Expr/AST.hs
    examples/Expr/Context.hs
    examples/Expr/Kure.hs
    examples/Expr/Examples.hs

Library
  Build-Depends: base >= 4.5 && < 5,
                 dlist >= 0.2 && < 1,
                 ghc >= 7.6
  Ghc-Options: -Wall
  Exposed-modules:
       Language.KURE
       Language.KURE.BiTranslate
       Language.KURE.Combinators
       Language.KURE.Combinators.Arrow
       Language.KURE.Combinators.Monad
       Language.KURE.Combinators.Translate
       Language.KURE.Debug
       Language.KURE.ExtendableContext
       Language.KURE.Injection
       Language.KURE.Lens
       Language.KURE.MonadCatch
       Language.KURE.Path
       Language.KURE.Pathfinder
       Language.KURE.Translate
       Language.KURE.Walker