view tests/rform.ur @ 1898:9eb337d1d7b6

Add more include files to EXTRA_DIST
author Adam Chlipala <adam@chlipala.net>
date Thu, 21 Nov 2013 15:06:41 -0500
parents 4c2c740c6931
children
line wrap: on
line source
fun main () : transaction page =
    s <- source "Hi";
    return <xml><body>
      <form>
        <textbox{#A} source={s}/>
      </form>
      <a onclick={set s "NEW AND DIFFERENT"}>Change it up!</a><br/>
      <br/>
      Latest: <dyn signal={s <- signal s; return (cdata s)}/>
    </body></xml>