annotate tests/checkbox.ur @ 978:e1f3f1ea8cff

demo/increment works with interpretation
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Sep 2009 10:42:59 -0400
parents 71bafe66dbe1
children
rev   line source
adamc@190 1 val handler = fn x => <html><body>
adamc@190 2 {if x.A then cdata "Yes" else cdata "No"}
adamc@190 3 </body></html>
adamc@190 4
adamc@190 5 val main = fn () => <html><body>
adamc@190 6 <lform>
adamc@190 7 <checkbox{#A}/> How about it?<br/>
adamc@190 8 <submit action={handler}/>
adamc@190 9 </lform>
adamc@190 10 </body></html>