@hackage Proper0.2.0.0

An implementation of propositional logic in Haskell

Categories
License
BSD-3-Clause
Maintainer
Dillon Huff
Links
- Documentation
- No source repository
Versions
- 0.5.2.0 Mon, 3 Nov 2014
- 0.4.2.0 Tue, 24 Jun 2014
- 0.4.1.0 Tue, 24 Jun 2014
- 0.4.0.0 Tue, 24 Jun 2014
- 0.3.0.0 Mon, 23 Jun 2014
- 0.2.0.0 Fri, 20 Jun 2014

Installation
In your cabal file:
Dependencies (2)
- base >=4.5 && <4.6
- containers
Dependents (3)
@hackage/acme-everything, @hackage/Smooth, @hackage/FirstOrderTheory