diff tests/dlist.ur @ 603:b1064de2b1f9

dlist example working
author Adam Chlipala <adamc@hcoop.net>
date Fri, 16 Jan 2009 15:49:10 -0500
parents 7c3c21eb5b4c
children 20c083327364
line wrap: on
line diff
--- a/tests/dlist.ur	Tue Jan 13 15:23:48 2009 -0500
+++ b/tests/dlist.ur	Fri Jan 16 15:49:10 2009 -0500
@@ -19,4 +19,5 @@
                                    tl <- get s;
                                    s' <- source (Cons (hd, tl));
                                    set s s'}/>
+      <button value="Reset" onclick={set s ns}/>
     </body></xml>