8 Feb
2013
8 Feb
'13
1:41 a.m.
On Thu, Feb 07, 2013 at 02:49:40PM -0800, Conal Elliott wrote:
I make some use of arrow notation, though sadly I often have to avoid it because my (pseudo-)"arrows" don't have arr. I'd love to see a variant that has restricted expressiveness in exchange for arr-freeness.
It's hard to imagine arrow notation without arr (or at least contravariance in the first argument of the "arrow") because forming expressions using the local environment is so central to it. That is, I can't imagine what things you are trying to write in that situation.