summaryrefslogtreecommitdiff
path: root/demo/more/prose
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-09-08 07:48:57 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-09-08 07:48:57 -0400
commit8f032c5cdc1e1efbed9782c37feca90bf9e20ca3 (patch)
treeecc04e66934cf2a473b64db35c53847eff7c6f24 /demo/more/prose
parentb1f297cea35d2fa47aa8193d3d90ddf8eb98afaa (diff)
Start 'more' demo with dbgrid
Diffstat (limited to 'demo/more/prose')
-rw-r--r--demo/more/prose3
1 files changed, 3 insertions, 0 deletions
diff --git a/demo/more/prose b/demo/more/prose
new file mode 100644
index 00000000..37a79724
--- /dev/null
+++ b/demo/more/prose
@@ -0,0 +1,3 @@
+<p>These are some extra demo applications written in <a href="http://www.impredicative.com/ur/">Ur/Web</a>. See <a href="http://www.impredicative.com/ur/demo/">the main demo</a> for a more tutorial-like progression through language and library features.</p>
+
+grid1.urp