kure-0.3.1: kure.cabal
Name: kure
Version: 0.3.1
Synopsis: Combinators for Strategic Programming
Description: KURE is a DSL for building rewriting DSLs.
KURE shares combinator names and concepts with Stratego, but unlike Stratego, KURE is strongly typed.
KURE is similar to Strafunski, but has a lightweight generic traversal mechanism using type families
rather than SYB,
and the KURE combinators are parameterized to provide the ability to have context sensitive rewrites.
Category: Language
License: BSD3
License-file: LICENSE
Author: Andy Gill
Maintainer: Andy Gill <andygill@ku.edu>
Copyright: (c) 2006-2009 Andy Gill
Homepage: http://ittc.ku.edu/~andygill/kure.php
Stability: alpha
build-type: Simple
Cabal-Version: >= 1.6
Library
Build-Depends: base
Exposed-modules:
Language.KURE,
Language.KURE.RewriteMonad,
Language.KURE.Translate,
Language.KURE.Rewrite,
Language.KURE.Combinators,
Language.KURE.Term
Ghc-Options: -Wall