annotate tests/crypt.ur @ 1496:3010472edf44

Tutorial section headings
author Adam Chlipala <adam@chlipala.net>
date Fri, 15 Jul 2011 17:31:57 -0400
parents a5bfed32d4f7
children
rev   line source
adam@1397 1 fun cryptIt r = return <xml><body>
adam@1397 2 {[crypt r.Pass "AB"]}
adam@1397 3 </body></xml>
adam@1397 4
adam@1397 5 fun main () = return <xml><body>
adam@1397 6 <form><textbox{#Pass}/> <submit action={cryptIt}/></form>
adam@1397 7 </body></xml>