diff demo/ref.ur @ 643:aa2290c32ce2

Avoid any JavaScript when pages don't need it; update demo prose
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Mar 2009 10:44:26 -0400
parents b393c2fc80f8
children 5819fb63c93a
line wrap: on
line diff
--- a/demo/ref.ur	Sun Mar 08 20:34:21 2009 -0400
+++ b/demo/ref.ur	Tue Mar 10 10:44:26 2009 -0400
@@ -1,9 +1,9 @@
 structure IR = RefFun.Make(struct
-                               type t = int
+                               type data = int
                            end)
 
 structure SR = RefFun.Make(struct
-                               type t = string
+                               type data = string
                            end)
 
 fun main () =