-- © 2001, 2002 Peter Thiemann
module Main where

import Prelude hiding (map, span, head, div)
import CGI

main = 
  run mainCGI

mainCGI =
  counter 0 F0

counter n F0 =
  standardQuery "Counter" $ p_T $
  do text_S "Current counter value "
     text_S (show n)
     br_S empty
     submit F0 (counter (n + 1)) (fieldVALUE "Increment")
     submit F0 (counter (n - 1)) (fieldVALUE "Decrement")