j
k
j a
j l
PR Stanley writes:
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
In the same spirit: f False False = False f _ _ = True
Back to the thread
Back to the list
