hatt: A truth table generator for classical propositional logic.
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.
[Skip to Readme]
Versions | 0.1, 0.2, 0.3, 1.0, 1.1, 1.1.1, 1.2.0, 1.2.1, 1.3.0, 1.3.1, 1.4.0, 1.4.0.1, 1.4.0.2, 1.5.0.0, 1.5.0.2, 1.5.0.3 |
---|---|
Dependencies | base (==4.*), cmdargs (==0.6.*), containers (==0.3.*), parsec (==2.1.*) [details] |
License | BSD-3-Clause |
Copyright | (c) 2011 Benedict Eastaugh |
Author | Benedict Eastaugh |
Maintainer | benedict@eastaugh.net |
Category | Logic |
Home page | https://github.com/beastaugh/hatt |
Source repo | head: git clone git://github.com/beastaugh/hatt.git |
Uploaded | by BenedictEastaugh at Thu Feb 3 21:21:11 UTC 2011 |
Distributions | NixOS:1.5.0.3 |
Executables | hatt |
Downloads | 5562 total (27 in the last 30 days) |
Rating | (no votes yet) [estimated by rule of succession] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] Hackage Matrix CI |
Downloads
- hatt-0.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)