
15 Dec
2008
15 Dec
'08
10:06 p.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]] :)