Agda.TypeChecking.Monad.Benchmark

getBenchmark

benchmarking

billTo

billPureTo

print