-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Logic
--   
--   Logic
@package Logic
@version 0.1.0.0

module Logic
data Logic
T :: Logic
F :: Logic
Atom :: String -> Logic
Neg :: Logic -> Logic
Or :: [Logic] -> Logic
And :: [Logic] -> Logic
p :: Logic
q :: Logic
r :: Logic
(^) :: Logic -> Logic
(||) :: Logic -> Logic -> Logic
(&&) :: Logic -> Logic -> Logic
(==>) :: Logic -> Logic -> Logic
(<=>) :: Logic -> Logic -> Logic
instance Show Logic