diff options
author | Adam Chlipala <adam@chlipala.net> | 2010-09-30 18:29:59 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2010-09-30 18:29:59 -0400 |
commit | 975b1f43784dfc1769ec93dd5dd408434791464e (patch) | |
tree | 049d9d5397185e0cc0589cbfe86e882d41087b63 /demo/counter.ur | |
parent | 3b47d68d29a931de92e0c9d2543b4085cfc45e32 (diff) |
Demo improvements
Diffstat (limited to 'demo/counter.ur')
-rw-r--r-- | demo/counter.ur | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/demo/counter.ur b/demo/counter.ur index b11fc936..23768ad3 100644 --- a/demo/counter.ur +++ b/demo/counter.ur @@ -1,3 +1,4 @@ +(* Workhorse function, which [main] will call *) fun counter n = return <xml><body> Current counter: {[n]}<br/> <a link={counter (n + 1)}>Increment</a><br/> |