9 lines
135 B
Haskell
9 lines
135 B
Haskell
a = False
|
|
b = True
|
|
|
|
a_and_b = a && b
|
|
a_or_b = a || b
|
|
not_a = not a
|
|
a_xor_b = a /= b
|
|
a_nxor_b = a == b
|
|
a_implies_b = a <= b -- sic!
|