From bda701f557d0e9aadd4717dd4fd6a38ac8ceb1eb Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 21 Oct 2008 17:34:20 -0400
Subject: Rec demo

---
 demo/prose | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'demo/prose')

diff --git a/demo/prose b/demo/prose
index fe4eb1ea..a22e1968 100644
--- a/demo/prose
+++ b/demo/prose
@@ -38,6 +38,10 @@ link.urp
 
 <p>In <tt>link.ur</tt>, we see how easy it is to link to another page.  The Ur/Web compiler guarantees that all links are valid.  We just write some Ur/Web code inside an "antiquote" in our XML, denoting a transaction that will produce the new page if the link is clicked.</p>
 
+rec.urp
+
+<p>Crafting webs of interlinked pages is easy, using recursion.</p>
+
 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>
-- 
cgit v1.2.3