Hi
Can you think of a fourth way of redefining disjunct using pattern matching?
vee :: Bool -> Bool -> Bool
vee _ True = True
vee True _ = True
vee _ _ = False

ve :: Bool -> Bool -> Bool
ve True True = True
ve True False = True
ve False True = True
ve False False = False

v :: Bool -> Bool -> Bool
v True b = True
v b True = True
v b False = b
v False b = b

Thanks
Paul

_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to