Agda.TypeChecking.Monad.Benchmark
class MonadBench a m
getBenchmark
updateBenchmarkingStatus
billTo
billPureTo
billToCPS
reset
print