From 24b68e6d7408f50023272e765687eab777596363 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 6 Nov 2008 19:43:48 -0500
Subject: Tree demo working (and other assorted regressions fixed)

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

(limited to 'demo/prose')

diff --git a/demo/prose b/demo/prose
index fad98e26..11661211 100644
--- a/demo/prose
+++ b/demo/prose
@@ -132,6 +132,10 @@ metaform2.urp
 
 <p>This example showcases code reuse by applying the same functor as in the last example.  The <tt>Metaform2</tt> module mixes pages from the functor with some new pages of its own.</p>
 
+tree.urp
+
+<p>Here we see how we can abstract over common patterns of SQL queries.  In particular, since standard SQL does not help much with queries over trees, we write a function for traversing an SQL tree, building an HTML representation, based on a user-provided function for rendering individual rows.</p>
+
 crud1.urp
 
 <p>This example pulls together much of what we have seen so far.  It involves a generic "admin interface" builder.  That is, we have the <tt>Crud.Make</tt> functor, which takes in a description of a table and outputs a sub-application for viewing and editing that table.</p>
-- 
cgit v1.2.3