annotate tests/crypt.ur @ 1814:2d9f831d45c9

Update tutorial for Ur/Web changes
author Adam Chlipala <adam@chlipala.net>
date Mon, 03 Sep 2012 09:51:23 -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>