Skip to content
Agda

theory: AntiEcho thin slice — Σ-dual of Echo (carrier + map-over + disjointness) #404

Sign in to view logs

theory: AntiEcho thin slice — Σ-dual of Echo (carrier + map-over + disjointness)

theory: AntiEcho thin slice — Σ-dual of Echo (carrier + map-over + disjointness) #404

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
6m 21s
cold-check
6m 21s
12m 42s