[Ur] Ur/Web and document validation

[David LaPalomento]

On Tue, Sep 20, 2011 at 7:24 PM, Adam Chlipala <adamc at impredicative.com> 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 :)