annotate tests/checkbox.ur @ 1043:d73cf02427df

New release
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Nov 2009 09:48:28 -0500
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>