blob: 23768ad319c948527ad767c1f4ea6550aa13bbd0 (
plain)
1
2
3
4
5
6
7
8
|
(* Workhorse function, which [main] will call *)
fun counter n = return <xml><body>
Current counter: {[n]}<br/>
<a link={counter (n + 1)}>Increment</a><br/>
<a link={counter (n - 1)}>Decrement</a>
</body></xml>
fun main () = counter 0
|
