@hackage / refinery

Toolkit for building proof automation systems

Latest0.4.0.0

Dependencies

library:refinery (4 dependencies)

@hackage / mmorph Monad morphisms
- Version: >=1
- License: BSD-3-Clause
@hackage / exceptions Extensible optionally-pure exceptions
- Version: >=0.10
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2
- License: BSD-3-Clause

test:refinery-test (8 dependencies)