@hackage improve dependencies

3 results

library:improve (3 dependencies)

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=1.1.0.1 && <2.1

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.0 && <5

@hackage/yices

Haskell programming interface to Yices SMT solver

BSD-3-Clause>=0.0.0.7 && <0.0.1