maam-0.2.0.0: An application of the Galois Transformers framework to two example semantics.

Safe HaskellNone
LanguageHaskell2010

Lang.Hask.Pretty

Documentation

data VarLam n e Source

Constructors

VarLam [n] e 

Instances

(Pretty n, Pretty e) => Pretty (VarLam n e)