Portability | GHC only |
---|---|
Maintainer | Simon Meier <iridcode@gmail.com> |
Safe Haskell | None |
System.Timing
Description
A simple module for timing IO action.
tamarin-prover-utils-0.8.5.1: Utility library for the tamarin prover.
Portability | GHC only |
---|---|
Maintainer | Simon Meier <iridcode@gmail.com> |
Safe Haskell | None |
System.Timing
Description
A simple module for timing IO action.