11 Oct
2013
11 Oct
'13
2:35 p.m.
On 10/11/13 5:13 AM, Heinrich Apfelmus wrote:
In my opinion, only (#) looks "right" for this purpose, though.
FWIW, so long as we're bikeshedding names, I agree that (#) is mich better than the alternatives. It also has some history from ML-land. The big issue is how to get it to play nicely with -XMagicHash -- Live well, ~wren