28 Sep
2013
28 Sep
'13
12:03 a.m.
On 2013-09-27 23:55, David Luposchainsky wrote:
On 2013-09-27 23:41, Bardur Arantsson wrote:
This kind of makes me wish there was an Up newtype.
Before somebody suggests renaming Identity, let's stop the bikeshedding and push this trivial change?
I don't really think humour (or attempts at such) count as bikeshedding, but whatevs... :) +1 to the OP.