On Tue, Sep 20, 2011 at 7:24 PM, Adam Chlipala <[email protected]> wrote: > 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."
Thanks for the quick response! Figuring out the appropriate level of detail to push into the type system is always a balancing act. Ur/Web seems to be putting a lot more in there than most other web frameworks so it's interesting to see where you've been drawing the line :) _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
