@hackage Logic0.1.0.0

Logic

Categories
- Mathematics
License
MIT
Maintainer
mail@tanakakazuki.com
Links
- Homepage
- Documentation
- No source repository
Versions
- 0.1.0.0 Mon, 29 Dec 2014

Installation
In your cabal file:
Dependencies (1)
- base >=4.7 && <4.8
Dependents (1)
@hackage/acme-everything

Logic

:l main.hs
p && q
p || q
p ==> q
p <=> q
(^) p