Library
~~~~~~~

Base.hs         the library


Examples
~~~~~~~~

AST.hs          an instantiation of the library code to the
                AST system from the paper

ASTExamples.hs  several examples of generic functions working
                on the AST system


Generic functions
~~~~~~~~~~~~~~~~~

HFunctor.hs     generic hmap
Fold.hs         generic fold and unfold
Compos.hs       generic compos
HZip.hs         generic zip

Zipper.hs       the generic Zipper

Rules.hs        rules and schemes for rewriting
LeftRight.hs    distinguishing metavariables
Rewriting.hs    generic rewriting library


Utilities
~~~~~~~~~

Void.hs         an empty datatype
TEq.hs          type equality
Repr.hs         operations on type representations