21 Nov
2012
21 Nov
'12
12:18 p.m.
As others have mentioned, diagrams already uses (#) for reverse application (but with a high precedence instead of low). We also already use (&) for something else -- namely constructing literal points and vectors, e.g. (1 & 2) or (3 & 0 & 4). But these are fairly minor considerations. I'm still in favor of the proposal (especially given that (&) will not be exported by the Prelude). So, +1 from me. -Brent