Mercurial > urweb

fun main () : transaction page =
    s <- source <xml/>;
    s1 <- source <xml/>;
    n <- source 0;
    return <xml><body>
      <table>
        <dyn signal={signal s}/>
        <tr> <td>Hi</td> </tr>
      </table>

      <button onclick={fn _ => v <- get n;
                          set n (v + 1);
                          set s <xml><tr> <td>Whoa!({[v]})</td> </tr></xml>}/>

      <table>
        <tr> <dyn signal={signal s1}/> </tr>
        <tr> <td>Hi!</td> </tr>
      </table>

      <button onclick={fn _ => set s1 <xml><td>Whoa!</td></xml>}/>
    </body></xml>
author	Adam Chlipala <adam@chlipala.net>
date	Sat, 31 Oct 2015 11:49:30 -0400
parents	d2383ffc18ab
children