[sc34wg3] Comments on latest TMRM draft

[Lars Marius Garshol]

* Jan Algermissen
| 
| Aside: does the TMRM assume that values can be compared?

Yes, it does. A proxy is a set of (key, value) pairs, and it makes no
sense to have such a set of one component of the pair cannot be
compared. Similarly, proxies are compared by value in T+, which again
assumes that values can be compared.

Personally, I think the whole structure becomes nonsensical if the
values cannot be compared.

-- 
Lars Marius Garshol, Ontopian         <URL: http://www.ontopia.net >
GSM: +47 98 21 55 50                  <URL: http://www.garshol.priv.no >