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