16 Dec
2008
16 Dec
'08
3:06 a.m.
Sorry about the triple-post, but I forgot to note it only goes to one 'depth' of OR; in reality the MCD for wrongOrd should be (< OR ((<=) AND (compare OR <)) OR compare). This requires a slightly more complicated type than [[a]] :)