annotate tests/rform.ur @ 2185:cbd294994c69

Monad.mapR3
author Adam Chlipala <adam@chlipala.net>
date Sat, 31 Oct 2015 11:49:30 -0400
parents 4c2c740c6931
children
rev   line source
adamc@598 1 fun main () : transaction page =
adamc@598 2 s <- source "Hi";
adamc@598 3 return <xml><body>
adamc@598 4 <form>
adamc@598 5 <textbox{#A} source={s}/>
adamc@598 6 </form>
adamc@598 7 <a onclick={set s "NEW AND DIFFERENT"}>Change it up!</a><br/>
adamc@598 8 <br/>
adamc@598 9 Latest: <dyn signal={s <- signal s; return (cdata s)}/>
adamc@598 10 </body></xml>