[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Curious oddity
It's much clearer. I was trying to give a meaning to this article:
using your post. And the author of the article was only using one kind of set variables:
the traditional ones. And I didn't succeeded in connecting his work with your post.
Now it's clear.