Mercurial > urweb

fun main () : transaction page =
    date <- source "";
    format <- source "";
    return <xml><body>
      <ctextbox source={date}/>
      <ctextbox source={format}/>
      <dyn signal={d <- signal date;
                   f <- signal format;
                   return (case read d of
                               None => <xml/>
                             | Some d => <xml>{[timef f d]}</xml>)}/>
    </body></xml>
author	Adam Chlipala <adam@chlipala.net>
date	Thu, 24 Nov 2011 11:41:52 -0500
parents	c6cc104a47ac
children	7d459f223ac2