annotate tests/crypt.ur @ 1885:8297968cf7ef

Rename ListPair.map2 to ListPair.mp
author Adam Chlipala <adam@chlipala.net>
date Mon, 04 Nov 2013 08:38:20 -0500
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>