comparison 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
comparison
equal deleted inserted replaced
415:777317e8b2ae 416:679b2fbbd4d0
1 fun counter n = return <xml><body>
2 Current counter: {[n]}<br/>
3 <a link={counter (n + 1)}>Increment</a><br/>
4 <a link={counter (n - 1)}>Decrement</a>
5 </body></xml>
6
7 fun main () = counter 0