Agda.TypeChecking.Monad.Benchmark

getBenchmark

benchmarking

reportBenchmarkingLn

reportBenchmarkingDoc

billTo

billTop

billPureTo

billSub

reimburse

reimburseTop