@hackage / BPS

Translations of classic Truth Maintenance Systems

Latest0.1.1.0

Dependencies

library:BPS (9 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.14.1 && <4.15 || >=4.15.1 && <4.16 || >=4.16.0 && <4.17
- License: BSD-3-Clause
@hackage / template-haskell Support library for Template Haskell
- Version:
- License: BSD-3-Clause
@hackage / STMonadTrans A monad transformer version of the ST monad
- Version: >=0.4.6 && <0.5
- License: BSD-3-Clause
@hackage / symbol A 'Symbol' type for fast symbol comparison.
- Version: >=0.2.4 && <0.3
- License: BSD-3-Clause
@hackage / extra Extra functions I use.
- Version: >=1.7 && <1.8
- License: BSD-3-Clause
@hackage / resourcet Deterministic allocation and freeing of scarce resources.
- Version:
- License: BSD-3-Clause
@hackage / free Monads for free
- Version:
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.5.6 && <0.6
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2.2 && <2.3
- License: BSD-3-Clause

executable:hbps (10 dependencies)

executable:hbps_profile (11 dependencies)

test:BPS-test (11 dependencies)