Skip to content
.github/workflows/joss-paper-ci.yml

double-down on the use of agda-stdlib #29

Sign in to view logs

double-down on the use of agda-stdlib

double-down on the use of agda-stdlib #29

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Paper Draft
42s
42s