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 | 81934ea4c2cf2260b6000e9be4d13e328204929a (patch) | |
tree | 049d9d5397185e0cc0589cbfe86e882d41087b63 /demo/counter.ur | |
parent | dfe1d4fdd1640b07a05db176d9dc89fcbb124edf (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/> |