@hackage htime0.3.1

Timing utility for the command line

Timing utility for the command line, like the Unix "time" command. Especially useful on systems which do not have time, like Windows.