[Ur] Hamlet like XML, structured by indentation with tag autoclosing

[Adam Chlipala]

I appreciate your ongoing efforts to improve the usability of Ur/Web.  
Based on discussion here so far, I'm leaning towards not adopting your 
additional syntax extensions.  Subjectively to me, they don't make the 
code more readable, while they do introduce more independent notations 
to be understood.

On 06/26/2015 10:35 AM, Gabriel Riba wrote:
> Here is an equivalent code of the Sql demo 
> (http://impredicative.com/ur/demo/sql.html) example, but with indented 
> xml style. It compiles!.