annotate examples/countdown.ur @ 19:3a303df9ae92

Partial generalize togglePanel solution (breaks build)
author Ron de Bruijn <rmbruijn@gmail.com>
date Fri, 23 Sep 2011 13:30:01 +0200
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>