General comment on the naming conventions we come up with... These
punctuation characters that typically require a shift modifier might be
pleasing to the eye, but unpleasing to the typist.
Incidentally, while "@" might have lower typing cost than "cmd-", I
think it's more than 1/4 the typing cost: "cmd-" does have the property
of being unshifted alpha-and-minus characters, and from alternating
hands on a typical US QWERTY keyboard.
Neil V.
--
You received this message because you are subscribed to the Google Groups "Racket
Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
