maam-0.2.0.0: An application of the Galois Transformers framework to two example semantics.
Lang.Hask
module Lang.Hask.CPS
module Lang.Hask.Semantics