maam-0.1.0.0: A monadic framework for abstract interpretation.
MAAM
module MAAM.Initial
module MAAM.MonadStep
module MAAM.Time