Mercurial > urweb
diff demo/prose @ 465:ddd363e856ff
Cookie prose; fix bugs that broke demo compilation
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 06 Nov 2008 12:46:45 -0500 |
parents | d4a81273d4b1 |
children | 20fab0e96217 |
line wrap: on
line diff
--- a/demo/prose Thu Nov 06 12:22:50 2008 -0500 +++ b/demo/prose Thu Nov 06 12:46:45 2008 -0500 @@ -58,6 +58,12 @@ <p>Here is an implementation of the tiny challenge problem from <a href="http://www.accursoft.co.uk/web/">this web framework comparison</a>. Using nested function definitions, it is easy to persist state across clicks.</p> +cookie.urp + +<p>Often, it is useful to associate persistent data with particular web clients. Ur/Web includes an easy facility for using type-safe cookies. This example shows how to use a form to set a named cookie.</p> + +<p>After setting the cookie, try browsing back to this demo from the main index. The data you entered should still be there.</p> + listShop.urp <p>This example shows off algebraic datatypes, parametric polymorphism, and functors.</p>