@hackage / mprover

Simple equational reasoning for a Haskell-ish language

Latest0.0.0.0

Dependencies

executable:mp (8 dependencies)

@hackage / base Core data structures and operations
- Version: <6
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.0.1.0
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.2.2.0
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.4.0.0
- License: BSD-3-Clause
@hackage / unbound Generic support for programming with names and binders
- Version: >=0.3.1
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version: >=3.1.1
- License: BSD-2-Clause
@hackage / haskell98 Compatibility with Haskell 98
- Version:
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version: >=1.0.1.2
- License: BSD-3-Clause