diff demo/react.ur @ 645:1b571a05874c

React demo
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Mar 2009 11:18:01 -0400
parents
children e6bc6bbd7a32
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/demo/react.ur	Tue Mar 10 11:18:01 2009 -0400
@@ -0,0 +1,6 @@
+fun main () =
+  s <- source "You didn't click it yet.";
+  return <xml><body>
+    <button value="Click me!" onclick={set s "Now you clicked it."}/><br/>
+    <dyn signal={v <- signal s; return <xml>{[v]}</xml>}/>
+  </body></xml>