Agda.TypeChecking.Monad.Benchmark

class MonadBench a m

getBenchmark

updateBenchmarkingStatus

billTo

billPureTo

billToCPS

reset

print