view 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
line wrap: on
line source
style q
style r

fun main () : transaction page = return <xml><body>
  Hi.  <span class={q}>And hi <span class={r}>again</span>!</span>
</body></xml>