timev

Like `time` but prefixes with a string and has optional display.

Build status: ok passing tests valid license

Documentation README Download
Authors
Documentation
Tags
    License
    Last updatedThursday, April 2nd, 2026 4:25:25pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/google-deepmind/levintreesearch_cm.git#timev-pkg8194e67d2ee8085263cfcc43c7fdf4abd45a1d35
    Last checkedThursday, May 14th, 2026 3:09:47pm (UTC)
    Last editedMonday, February 9th, 2026 6:09:07pm (UTC)
    Date addedMonday, February 9th, 2026 2:40:06pm (UTC)
    Modules
    • timev/scribblings/timev.scrbl
    • timev/main.rkt