
13 Jul
2012
13 Jul
'12
9:12 p.m.
On Thu, Jul 12, 2012 at 7:38 PM, Cale Gibbard
Personally I don't see why everyone appears to prefer the syntax with \ in it over just the obvious case section syntax which was originally proposed.
case of { ... }
looks much better to me than
\case of { ... }
and the former makes sense to me as a simple extension of operator sections to another part of the syntax.
Does anyone else agree?
I also completely agree, but I don't want my opinion to get in the way of progress. -- Your ship was caught in a monadic eruption.