Mercurial > urweb
annotate tests/rec3.ur @ 347:58eeeb3cbf40
Use checkbox in CRUD example
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 04 Oct 2008 16:15:13 -0400 |
parents | 71bafe66dbe1 |
children |
rev | line source |
---|---|
adamc@134 | 1 val rec main = fn () => <html><body> |
adamc@134 | 2 <a link={aux ()}>See another page</a> |
adamc@134 | 3 </body></html> |
adamc@134 | 4 |
adamc@134 | 5 and aux = fn () => <html><body> |
adamc@134 | 6 <h1>The Main Event</h1> |
adamc@134 | 7 |
adamc@134 | 8 {auxer ()} |
adamc@134 | 9 </body></html> |
adamc@134 | 10 |
adamc@134 | 11 and auxer = fn () => <body> |
adamc@134 | 12 <a link={main ()}>Back to square one</a> |
adamc@134 | 13 </body> |