Skip to content
Agda

Generalize EchoAggregation to monoid/group form (#175); CC-BY-SA-4.0 prose; 2026-06-19 AFFIRMATION + status #792

Sign in to view logs

Generalize EchoAggregation to monoid/group form (#175); CC-BY-SA-4.0 prose; 2026-06-19 AFFIRMATION + status

Generalize EchoAggregation to monoid/group form (#175); CC-BY-SA-4.0 prose; 2026-06-19 AFFIRMATION + status #792

Triggered via pull request June 19, 2026 22:55
@hyperpolymathhyperpolymath
synchronize #242
claude/ecstatic-wright-OBEvx
Status Success
Total duration 11m 57s
Artifacts –

agda.yml

on: pull_request
check
1m 55s
check
cold-check
11m 39s
cold-check
Fit to window
Zoom out
Zoom in