annotate tests/both2.ur @ 1950:b3c8860508ea

New release
author Adam Chlipala <adam@chlipala.net>
date Tue, 31 Dec 2013 10:48:50 -0500
parents a5eb8f87bc17
children
rev   line source
adamc@1046 1 fun main () : transaction page =
adamc@1046 2 let
adamc@1046 3 fun submit r = return <xml/>
adamc@1046 4 in
adamc@1046 5 return <xml>
adamc@1046 6 <body>
adamc@1046 7 <form>
adamc@1046 8 <textbox{#Text}/><submit action={submit}/>
adamc@1046 9 </form>
adamc@1046 10 </body>
adamc@1046 11 </xml>
adamc@1046 12 end
adamc@1046 13
adamc@1046 14