9 Oct
2008
9 Oct
'08
1:41 p.m.
Am Donnerstag, 9. Oktober 2008 10:41 schrieb Bart Massey:
nubBool = take 2 . nub
nub [False,True,undefined] => _|_ but nubBool [False,True,undefined] => [False,True] right? Is this really intended? Take care. Bool has three values (False, True and _|_). This is no Agda. ;-) Best wishes, Wolfgang