adam@1610: fun main () : transaction page = adam@1610: s <- source True; adam@1610: t <- source 1; adam@1610: return <xml><body><ccheckbox source={s} onclick={set t 3}/> adam@1610: <dyn signal={s <- signal s; adam@1610: t <- signal t; adam@1610: return <xml>{[s]} {[t]}</xml>}/> adam@1610: </body></xml>