Skip to content
Agda

Add ordinal notation infrastructure (E1–E2): Base syntax and closure #15

Sign in to view logs

Add ordinal notation infrastructure (E1–E2): Base syntax and closure

Add ordinal notation infrastructure (E1–E2): Base syntax and closure #15

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
1m 55s
1m 55s