Mercurial > urweb
diff demo/counter.ur @ 416:679b2fbbd4d0
Counter demo
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 23 Oct 2008 11:59:48 -0400 |
parents | |
children | 4359e185d3af |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/demo/counter.ur Thu Oct 23 11:59:48 2008 -0400 @@ -0,0 +1,7 @@ +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