Skip to content
Agda

Generalize EchoAggregation to monoid/group form (#175); CC-BY-SA-4.0 … #793

Sign in to view logs

Generalize EchoAggregation to monoid/group form (#175); CC-BY-SA-4.0 …

Generalize EchoAggregation to monoid/group form (#175); CC-BY-SA-4.0 … #793

Triggered via push June 19, 2026 22:55
@hyperpolymathhyperpolymath
pushed ce75866
main
Status Success
Total duration 12m 30s
Artifacts –

agda.yml

on: push
check
2m 18s
check
cold-check
12m 27s
cold-check
Fit to window
Zoom out
Zoom in