Agda.Benchmarking

data Phase

type Benchmark

type Account

isModuleAccount

isDefAccount

isInternalAccount

Benchmarking in the IO monad.

benchmarks

billToIO

billToPure