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>