Adam Chlipala wrote:
There are, in effect, a finite number of contexts (e.g., a table cell, regular body, etc.), which are implicit in the types of the tag combinators.
...and that was a faulty example. It should say "a table row" instead of "a table cell."
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
