Skip to content
Agda

feat(experimental): echo-additive R0+R1 — grade semiring + comparativ… #690

Sign in to view logs

feat(experimental): echo-additive R0+R1 — grade semiring + comparativ…

feat(experimental): echo-additive R0+R1 — grade semiring + comparativ… #690

Triggered via push June 14, 2026 01:04
@hyperpolymathhyperpolymath
pushed f7a965f
main
Status Success
Total duration 11m 27s
Artifacts –

agda.yml

on: push
check
1m 51s
check
cold-check
11m 15s
cold-check
Fit to window
Zoom out
Zoom in