comparison 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
comparison
equal deleted inserted replaced
602:1d34d916c206 603:b1064de2b1f9
17 <ctextbox source={tb}/> 17 <ctextbox source={tb}/>
18 <button value="Add" onclick={hd <- get tb; 18 <button value="Add" onclick={hd <- get tb;
19 tl <- get s; 19 tl <- get s;
20 s' <- source (Cons (hd, tl)); 20 s' <- source (Cons (hd, tl));
21 set s s'}/> 21 set s s'}/>
22 <button value="Reset" onclick={set s ns}/>
22 </body></xml> 23 </body></xml>