# The hatt package

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]

## Properties

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.2.*), cmdargs (==0.6.*), containers (==0.3.*), parsec (==2.1.*) [details] |

License | BSD3 |

Copyright | (c) 2011 Benedict Eastaugh |

Author | Benedict Eastaugh |

Maintainer | benedict@eastaugh.net |

Stability | experimental |

Category | Logic |

Home page | https://github.com/beastaugh/hatt |

Source repository | head: git clone git://github.com/beastaugh/hatt.git |

Uploaded | Sun Jan 30 18:13:46 UTC 2011 by BenedictEastaugh |

Distributions | NixOS:1.5.0.3 |

Downloads | 3157 total (42 in the last 30 days) |

Votes | |

Status | Docs not available [build log] All reported builds failed as of 2015-11-20 [all 4 reports] |

## Modules

*Data**Logic*- Data.Logic.Propositional
- Data.Logic.Propositional.Core
- Data.Logic.Propositional.Parser
- Data.Logic.Propositional.Tables

- Data.Logic.Propositional

## Downloads

- hatt-0.1.tar.gz [browse] (Cabal source package)
- Package description (included in the package)