annotate tests/autocomp.ur @ 2123:1218daa14279

Document new infix operators
author Adam Chlipala <adam@chlipala.net>
date Thu, 05 Mar 2015 14:58:34 -0500
parents b2ca3e1e5b40
children
rev   line source
adam@1491 1 fun main () : transaction page =
adam@1491 2 a <- source "";
adam@1491 3 b <- source "";
adam@1491 4 return <xml><body>
adam@1491 5 <form>
adam@1491 6 <textbox{#A} source={a}/>
adam@1491 7 <button onclick={x <- get a; set b x}/>
adam@1491 8 <dyn signal={v <- signal a; return <xml>{[v]}</xml>}/>
adam@1491 9 / <dyn signal={v <- signal b; return <xml>{[v]}</xml>}/>
adam@1491 10 </form>
adam@1491 11 </body></xml>