[opentheory-users] quoted strings

[Ramana Kumar]

So the OpenTheory name for conjunction really is Data.Bool./\\ then. All right.

On Mon, Jan 10, 2011 at 9:02 PM, Joe Hurd <joe at gilith.com> wrote:
> Hi Ramana,
>
>> Hmm... could I ask one more question actually, to be sure?
>> You gave the example of the two names A\.b and and A.b.
>> Suppose I have an article that defines two different constants with these names.
>> Somewhere in the article file there must be lines that instruct the
>> virtual machine to push those names onto the stack.
>> What exactly would those lines look like?
>
> The two command lines would be
>
> "A\.b"
>
> and
>
> "A.b"
>
> Two *different* names pushed onto the stack.
>
> Cheers,
>
> Joe
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>