@hackage / hatt

A truth table generator for classical propositional logic.

Latest1.5.0.3

Dependencies

library:hatt (5 dependencies)

@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / ansi-wl-pprint The Wadler/Leijen Pretty Printer for colored ANSI terminal output
- Version: >=0.6 && <0.7
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.3 && <0.6
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version: >=2.1 && <3.2
- License: BSD-2-Clause
@hackage / QuickCheck Automatic testing of Haskell programs
- Version: >=2.4
- License: BSD-3-Clause

executable:hatt (4 dependencies)

test:test-hatt (4 dependencies)