10 Jul
2012
10 Jul
'12
8:31 a.m.
On 09/07/2012, Edward Kmett
I would be happy enough with just re-exporting Down and calling it a day. Last time this topic came up it was bikeshedded to death without resolution.
Why is it called "Down"? Is this a mathematical term? Its name ought to say what it does. So far, the best seems to be "DualOrd", for it quite clearly affects only the order.