Agda.Benchmarking

data Phase

type Benchmark

type Account

Benchmarking in the IO monad.

benchmarks

billToIO

billToPure