annotate examples/countdown.ur @ 33:2e7f8f7d71d4

Update for Ur/Web's new tag name resolution
author Adam Chlipala <adam@chlipala.net>
date Thu, 21 Nov 2013 16:12:17 -0500
parents 2947170fcfd6
children
rev   line source
adam@17 1 fun main () : transaction page =
adam@17 2 start <- now;
adam@17 3 deadline <- return (addSeconds start 60);
adam@17 4 cl <- Clock.create 500;
adam@17 5 return <xml><body onload={Clock.start cl}>
adam@17 6 <dyn signal={cl <- Clock.signal cl;
adam@17 7 return <xml>
adam@17 8 {[cl]}<br/>
adam@17 9 {if cl > deadline then
adam@17 10 <xml><b>Expired</b></xml>
adam@17 11 else
adam@17 12 <xml>{[diffInSeconds cl deadline]}</xml>}
adam@17 13 </xml>}/>
adam@17 14 </body></xml>