@hackage mprover dependencies

8 results

executable:mp (8 dependencies)

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause>=0.2.2.0

@haskell/parsec

Monadic parser combinators

BSD-2-Clause>=3.1.1

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.0.1.0

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.4.0.0

@haskell/base

Core data structures and operations

@hackage/unbound

Generic support for programming with names and binders

BSD-3-Clause>=0.3.1

@hackage/pretty

Pretty-printing library

BSD-3-Clause>=1.0.1.2

@hackage/haskell98

Compatibility with Haskell 98