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>