Simple wrappers for timing IO actions (single-threaded)
Why do you think that https://github.com/GaloisInc/halfs is a good alternative to tagged-timers
Simple wrappers for timing IO actions (single-threaded)
Why do you think that https://github.com/GaloisInc/halfs is a good alternative to tagged-timers