Skip to content
Agda

examples: Example 9 — parser residue (balanced parens) #445

Sign in to view logs

examples: Example 9 — parser residue (balanced parens)

examples: Example 9 — parser residue (balanced parens) #445

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
11m 9s
flake-check
11m 9s
check
11m 9s
33m 27s