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

Safe HaskellNone
LanguageHaskell2010

Lang.LamIf.Pretty

Documentation

data VarLam n e Source

Constructors

VarLam [n] e 

Instances

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