Ur/Web: tests/plink2.ur annotate

Comments in .urp files

author	Adam Chlipala <adam@chlipala.net>
date	Sat, 11 Dec 2010 13:42:54 -0500
parents	71bafe66dbe1
children

rev	line source
adamc@140	1 val pA : int -> int -> page = fn size1 => fn size2 => <html><body>
adamc@121	2 <font size={size1}>Hello</font> <font size={size2}>World!</font>
adamc@121	3 </body></html>
adamc@121	4
adamc@140	5 val main : unit -> page = fn () => <html><body>
adamc@121	6 <li> <a link={pA 5 10}>Size 5</a></li>
adamc@121	7 <li> <a link={pA 10 5}>Size 10</a></li>
adamc@121	8 </body></html>

Mercurial > urweb