@hackage Logic0.1.0.0

Logic

Logic

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