[Ur] Running JavaScript after DOM has been built

[Adam Chlipala]

On 07/29/2013 08:47 AM, Ron de Bruijn wrote:
> Is there any way to include custom JavaScript (as referenced by a 
> script directive) after the DOM has been built (and no later)?
>
> I would also like to control the order of <link> and <script> tags in 
> compiler output, since this does matter in some cases.

Any of this should be possible, and probably not even so hard, with the 
Ur/Web JavaScript FFI.  I believe the order of Ur/Web-generated <script> 
tags is a deterministic function of the .urp files used in the project, 
though I don't remember the deterministic rule right now. ;)