[plt-dev] Unicode is a pain

It has that funny name because you shouldn't have to type it much
(only people writing contract systems (ie, Stevie) should need it).

Plus, I think its name is wrong anyways, and will have to change, but
not in a way you'd like :)

Also typing "new-\exists<alt-\>/c" is shorter than what you propose.

Robby

On Tue, Sep 15, 2009 at 5:58 PM, Carl Eastlund <cce at ccs.neu.edu> wrote:
> Specifically, can we please give "new-∃/c" an ascii alias such as
> "new-existential/c"?  Or if such a thing already ∃, it needs to be
> documented.  My desk is not big enough yet for a full unicode
> keyboard.  More generally, unicode names are fine but we're not
> "there" yet; we should always have ascii alternatives.  Thanks!
>
> Carl Eastlund
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev
>