blob: 7b8b93efce74bafc02898b1b41e89016d5d15612 (
plain)
1
2
3
4
|
val now : time = readError "10/30/08 14:35:42"
val later : time = readError "10/30/08 14:37:42"
fun main () = return <xml>{[now]}, {[now = now]}, {[now = later]}, {[later < now]}, {[now < later]}</xml>
|