Portability | ghc |
---|---|
Stability | unstable |
Maintainer | Andy Gill <andygill@ku.edu> |
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