| Portability | ghc |
|---|---|
| Stability | unstable |
| Maintainer | Andy Gill <andygill@ku.edu> |
Language.KURE
Description
This is the main import module for KURE, which exports all the major components.
Documentation
module Language.KURE.RewriteMonad
module Language.KURE.Translate
module Language.KURE.Rewrite
module Language.KURE.Combinators
module Language.KURE.Term