maam-0.2.0.1: An application of the Galois Transformers framework to two example semantics.
Lang.LamIf.Pretty
data VarLam n e Source
Constructors
Instances