Mercurial > urweb

fun main () : transaction page =
    tm <- now;
    s <- source tm;
    return <xml><body>
      <b>Server:</b> {[tm]}<br/>
      <b>Client:</b> <dyn signal={v <- signal s; return (txt v)}/>
      <button value="Recalculate" onclick={tm <- now; set s tm}/>
    </body></xml>
author	Adam Chlipala <adam@chlipala.net>
date	Thu, 11 Jun 2015 19:38:03 -0400
parents	438561303d02
children