@hackage / language-boogie

Interpreter and language infrastructure for Boogie.

Latest0.2

Dependencies

library:language-boogie (9 dependencies)

@hackage / pretty Pretty-printing library
- Version: >=1.1 && <1.2
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / random Pseudo-random number generation
- Version: >=1.0 && <1.1
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.4 && <0.6
- License: BSD-3-Clause
@hackage / stream-monad Simple, Fair and Terminating Backtracking Monad
- Version: >=0.4 && <0.5
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.3 && <0.4
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version: >=3.1 && <3.2
- License: BSD-2-Clause
@hackage / lens Lenses, Folds and Traversals
- Version: >=3.7 && <3.8
- License: BSD-2-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.1 && <2.2
- License: BSD-3-Clause

executable:boogaloo (13 dependencies)

executable:boogaloo-tests (12 dependencies)