On Fri, Mar 21, 2014 at 6:59 PM, Kim Bruce <kim at cs.pomona.edu> wrote:
> If that is not acceptable, my second choice would be to write types with
> {|...|}. It has the advantage of being easy to type (the keys are both
> shifted and are right next to each other on the keyboard)
Cultural imperialism!
-Michael