Agda.Benchmarking
data
Phase
type
Benchmark
type
Account
Benchmarking in the IO monad.
benchmarks
billToIO
billToPure