10 Jul
2012
10 Jul
'12
3:07 a.m.
On 7/9/12 7:29 PM, Edward Kmett wrote:
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.
Indeed. I'd rather use "Reverse" than "Down", but I'd rather have Down in the standard library than have this bikeshedded to death again. -- Live well, ~wren