summaryrefslogtreecommitdiff
path: root/demo/prose
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-04 09:33:35 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-04 09:33:35 -0500
commit627c93b9779f632bd8d90e7e2de26a5a9c197f08 (patch)
treee40f2a8767966c59e146479de02ec297958fc3c3 /demo/prose
parent24483b49c81a6ac1c99cd28ca3505150b5999863 (diff)
Nested demo
Diffstat (limited to 'demo/prose')
-rw-r--r--demo/prose4
1 files changed, 4 insertions, 0 deletions
diff --git a/demo/prose b/demo/prose
index 3b9d9ebb..06c47722 100644
--- a/demo/prose
+++ b/demo/prose
@@ -54,6 +54,10 @@ form.urp
<p>Here we see a basic form. The type system tracks which form inputs we include, and it enforces that the form handler function expects a record containing exactly those fields, with exactly the proper types.</p>
+nested.urp
+
+<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>
+
listShop.urp
<p>This example shows off algebraic datatypes, parametric polymorphism, and functors.</p>