Ur/Web: tests/recReal3.ur annotate

annotate tests/recReal3.ur @ 1761:f8ddaa296115

Fix hyphenation for demos; parse CSS class 'table' as 'tabl'

author	Adam Chlipala <adam@chlipala.net>
date	Sun, 13 May 2012 14:27:29 -0400
parents	71bafe66dbe1
children

rev	line source
adamc@131	1 val rec endlessList1 = fn () => <body>
adamc@131	2 <li> Buy eggs.</li>
adamc@131	3 {endlessList2 ()}
adamc@131	4 </body>
adamc@131	5
adamc@131	6 and endlessList2 = fn () => <body>
adamc@131	7 <li> Buy milk.</li>
adamc@131	8 {endlessList1 ()}
adamc@131	9 {endlessList3 ()}
adamc@131	10 </body>
adamc@131	11
adamc@131	12 and endlessList3 = fn () => <body>
adamc@131	13 <li> Buy goat.</li>
adamc@131	14 </body>
adamc@131	15
adamc@131	16 val main = fn () => <html><body>
adamc@131	17 {endlessList1 ()}
adamc@131	18 </body></html>