[Grace-core] Type declarations

[Kim Bruce]

OK, I just looked at the UK layout and see that it is different (why squeeze an extra key to the left of the z?).  Maybe that makes it even easier as one with the right hand and the other with the left?
  
Kim



On Mar 21, 2014, at 2:34 PM, Michael Homer <mwh at ecs.vuw.ac.nz> wrote:

> 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
> _______________________________________________
> Grace-core mailing list
> Grace-core at cecs.pdx.edu
> https://mailhost.cecs.pdx.edu/mailman/listinfo/grace-core