Mercurial > urweb

fun main () : transaction page =
    ch <- channel;
    let
        fun onload () =
            subscribe ch;
            send ch "Hello world!"

        fun haveAnother () =
            send ch "Here's another."
    in
        return <xml><body onload={onload ()}>
          <button value="Another?" onclick={haveAnother ()}/>
        </body></xml>
    end
author	Adam Chlipala <adamc@hcoop.net>
date	Sun, 22 Mar 2009 15:16:34 -0400
parents	b0c1a46b1f15
children	f73913d97a40