Mercurial > urweb
view tests/millis.ur @ 2095:d9f918b79b5a
List.mem
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 23 Dec 2014 14:41:23 -0500 |
parents | 225b87d4a7df |
children |
line wrap: on
line source
fun diffThem tm = tm' <- now; return <xml><body> Diff: {[diffInMilliseconds tm tm']} </body></xml> fun main () : transaction page = tm <- now; return <xml><body> Now: {[toMilliseconds tm]}<br/> <a link={diffThem tm}>Diff</a><br/> <button onclick={tm' <- now; alert ("Now: " ^ show (toMilliseconds tm')); alert ("Diff: " ^ show (diffInMilliseconds tm tm'))}/> </body></xml>