maam-0.3.0.0: Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers
MAAM
module MAAM.GaloisTransformer