@hackage hatt1.4.0

A truth table generator for classical propositional logic.

Categories
License
BSD-3-Clause
Maintainer
benedict@eastaugh.net
Links
Versions
- 1.5.0.3 Sat, 24 Nov 2012
- 1.5.0.2 Tue, 13 Nov 2012
- 1.5.0.0 Sun, 11 Nov 2012
- 1.4.0.2 Wed, 4 Jan 2012
- 1.4.0.1 Mon, 31 Oct 2011
- 1.4.0 Mon, 31 Oct 2011

Installation
In your cabal file:
Dependencies (4)
- base >=4 && <5
- containers >=0.3 && <0.5
- parsec >=2.1 && <2.2
- ansi-wl-pprint >=0.6 && <0.7
Dependents (1)
@hackage/acme-everything

Hatt is a command-line program which prints truth tables for expressions in classical propositional logic, and a library allowing its parser, evaluator and truth table generator to be used in other programs.

@hackage hatt1.4.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (4)

Dependents (1)