[opentheory-users] quoted strings

Joe Hurd joe at gilith.com
Mon Sep 12 22:56:26 UTC 2011

Hi Ramana,

> But does this mean that variables and type variables might have names
> including a (non-empty) namespace?

Yes, this is legal according to the standard as it is right now, but I
don't like it. What would you think about adding a requirement that
variable and type variable names must be in the global namespace?



More information about the opentheory-users mailing list