[
Lists Home |
Date Index |
Thread Index
]
"Thomas B. Passin" <tpassin@comcast.net> wrote:
| Funny, just this morning I too remembered the types-as-NOTATION proposals .
| Maybe that is a better idea, at that.
What!? NOTATIONs are so 1980s!! Just ask the backroom boys at the W3C,
assiduously confering the sumptuous benefits of Sufficient Ingenuity and
Obligatory Hightech on us mere mortals.
|