maam-0.2.0.0: An application of the Galois Transformers framework to two example semantics.
MAAM
module MAAM.Inject
module MAAM.MonadStep
module MAAM.Time