@hackage / maam

Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers

Latest0.3.0.0

Dependencies

library:maam (5 dependencies)

@hackage / template-haskell Support library for Template Haskell
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.8 && <4.9
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version:
- License: BSD-2-Clause
@hackage / vector Efficient Arrays
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause

executable:maam_examples (1 dependencies)

@hackage / maam Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers
- Version:
- License: BSD-3-Clause