blob: 1e473482240636f7c3ccb7f6f27e993e84c8684b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
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>
|
