[opentheory-users] quoted strings
ramana.kumar at gmail.com
Mon Sep 12 22:52:12 UTC 2011
On Mon, Sep 12, 2011 at 11:15 PM, Joe Hurd <joe at gilith.com> wrote:
> Hi Ramana,
>> But more importantly, in that case, there's no description of the
>> relationship between names and the strings used in article files to
>> represent them.
> I think this is a fair point: I've added a description of the intended
> processing to
Thank you. That is much clearer now.
But does this mean that variables and type variables might have names
including a (non-empty) namespace?
> opentheory-users mailing list
> opentheory-users at gilith.com
More information about the opentheory-users