[opentheory-users] quoted strings
Ramana Kumar
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
>
> http://www.gilith.com/research/opentheory/article.html#nameCommand
Thank you. That is much clearer now.
But does this mean that variables and type variables might have names
including a (non-empty) namespace?
>
> Cheers,
>
> Joe
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>
More information about the opentheory-users
mailing list