Skip to content
Lint the sources

[ prelude ] Make able to implement provably total showPrec recursively #5797

Sign in to view logs

[ prelude ] Make able to implement provably total showPrec recursively

[ prelude ] Make able to implement provably total showPrec recursively #5797

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
8s
8s