Mercurial > urweb
comparison tests/plink2.ur @ 244:71bafe66dbe1
Laconic -> Ur
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 31 Aug 2008 08:32:18 -0400 |
parents | tests/plink2.lac@f214c535d253 |
children |
comparison
equal
deleted
inserted
replaced
243:2b9dfaffb008 | 244:71bafe66dbe1 |
---|---|
1 val pA : int -> int -> page = fn size1 => fn size2 => <html><body> | |
2 <font size={size1}>Hello</font> <font size={size2}>World!</font> | |
3 </body></html> | |
4 | |
5 val main : unit -> page = fn () => <html><body> | |
6 <li> <a link={pA 5 10}>Size 5</a></li> | |
7 <li> <a link={pA 10 5}>Size 10</a></li> | |
8 </body></html> |