Hi, as I see, time measurement is in seconds in Ur/Web:
val diffInSeconds : time -> time -> int is there any reason that we cannot measure time in milliseconds? I would need it for profiling. - Gergely _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
