Mercurial > urweb

view demo/counter.ur @ 2112:b4702145f8de

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Treat getHeader and getenv as vectors for reading request data supplied implicitly by browsers
author Adam Chlipala <adam@chlipala.net>
date Thu, 05 Feb 2015 11:09:25 -0500
parents 4359e185d3af
children
line wrap: on
line source
(* 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