[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