Agda.TypeChecking.Monad.Benchmark

class MonadBench a m

getBenchmark

updateBenchmarkingStatus

billTo

billPureTo

reset

print