From 36b92359be479b92b5adcbdc669576e61d01f74a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 10 Mar 2009 10:49:18 -0400
Subject: Alert demo

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

(limited to 'demo/prose')

diff --git a/demo/prose b/demo/prose
index e7de3471..ab32a753 100644
--- a/demo/prose
+++ b/demo/prose
@@ -185,3 +185,9 @@ crud1.urp
 crud2.urp
 
 <p>This example shows another application of <tt>Crud.Make</tt>.  We mix one standard column with one customized column.  We write an underscore for the <tt>Inject</tt> field of meta-data, since the type class facility can infer that witness.</p>
+
+alert.urp
+
+<p>Ur/Web makes it easy to write code whose execution should be distributed between the web server and client web browsers.  Server-side code is compiled to efficient native code, and client-side code is compiled to JavaScript.  Ur/Web programmers don't need to worry about these details, because the language and standard library provide a uniform ML-like interface for the whole process.</p>
+
+<p>Here's an example of a button that, when clicked, opens an alert dialog on the client.</p>
-- 
cgit v1.2.3