Tyson Richard DOWD
trd at cs.mu.oz.au
Fri Jun 27 16:32:36 AEST 1997
I'm thinking of adding some missing functionality in time.m (reporting
time in seconds, a la clock() or something). If anyone has some
requests, now is a good time to voice them. What's there is fine, but
it's a bit too specific, I'd like some more primitive operations so that
people can be more flexibile in doing their own timing.
Also, can we rename "time.m" as "timing.m"? I think time.m should be
used for the module dealing with data types representing the concept of
time, rather than actually reporting time usage and doing benchmarking.
Tyson Dowd #
# Surreal humour isn't eveyone's cup of
trd at cs.mu.oz.au # fur.
More information about the developers