@hackage / Proper

An implementation of propositional logic in Haskell

Latest0.5.2.0

Dependencies

library:Proper (3 dependencies)

@hackage / base Core data structures and operations
- Version: <6
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / syb Scrap Your Boilerplate
- Version:
- License: BSD-3-Clause

executable:Proper (4 dependencies)

@hackage / base Core data structures and operations
- Version: <6
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version:
- License: BSD-2-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / syb Scrap Your Boilerplate
- Version:
- License: BSD-3-Clause

executable:Proper-tests (5 dependencies)