12 Jul
2012
12 Jul
'12
9:46 p.m.
On 13/07/2012 3:08 AM, Cale Gibbard wrote:
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?
yes. I prefer "case of" rather than "\case of" for aesthetic reasons.