On Thu, Jul 12, 2012 at 7:38 PM, Cale Gibbard <cgibbard@gmail.com> wrote: > case of { ... }
>
> looks much better to me than
>
> \case of { ... }
I also completely agree, but I don't want my opinion to get in the way
of progress.
I don't much care whether what is implemented is "\case" or "case of" or even "\of" (even though that last reads weird), but "\case of" strikes me as including syntactic noise (a pointless extra token). One or the other; not both.
-- brandon s allbery allbery.b@gmail.com wandering unix systems administrator (available) (412) 475-9364 vm/sms