Ur/Web: tests/plink3.ur annotate

Fix initialization of cselect from source

author	Adam Chlipala <adamc@hcoop.net>
date	Sat, 16 May 2009 16:59:24 -0400
parents	71bafe66dbe1
children

rev	line source
adamc@122	1 val pA = fn size1 => fn size2 => fn size3 => <html><body>
adamc@122	2 <p><font size={size1}>Hello</font> <font size={size2}>World!</font></p>
adamc@122	3
adamc@122	4 <p><font size={size3}>Epilogue</font></p>
adamc@122	5 </body></html>
adamc@122	6
adamc@122	7 val main = fn () => <html><body>
adamc@122	8 <li> <a link={pA 5 10 1}>Size 5</a></li>
adamc@122	9 <li> <a link={pA 10 5 10}>Size 10</a></li>
adamc@122	10 </body></html>

Mercurial > urweb