annotate tests/checkbox.ur @ 2304:6fb9232ade99

Merge Sqlcache
author Adam Chlipala <adam@chlipala.net>
date Sun, 20 Dec 2015 14:18:52 -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>