Logic-0.1.0.0: Logic
Logic
data Logic Source
Constructors
Instances
p :: Logic Source
q :: Logic Source
r :: Logic Source
(^) :: Logic -> Logic Source
(||) :: Logic -> Logic -> Logic Source
(&&) :: Logic -> Logic -> Logic Source
(==>) :: Logic -> Logic -> Logic Source
(<=>) :: Logic -> Logic -> Logic Source