annotate tests/crypt.ur @ 2185:cbd294994c69

Monad.mapR3
author Adam Chlipala <adam@chlipala.net>
date Sat, 31 Oct 2015 11:49:30 -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>