@hackage htime0.2

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.