Status of nubOrd (Proposal #2629)

[Wolfgang Jeltsch]

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