annotate tests/style.ur @ 723:311ca1ae715d

Simplify type class requirement for tree demo
author Adam Chlipala <adamc@hcoop.net>
date Mon, 13 Apr 2009 08:44:32 -0400
parents f06880c8bf68
children 12ec14a6be0b
rev   line source
adamc@720 1 style q
adamc@720 2 style r
adamc@718 3
adamc@718 4 fun main () : transaction page = return <xml><body>
adamc@722 5 Hi. <span class={q}>And hi <span class={r}>again</span>!</span>
adamc@718 6 </body></xml>