theory: AntiEcho thin slice — Σ-dual of Echo (carrier + map-over + disjointness) #404
hyperpolymathagda.yml
on: pull_request
check
6m 21s
cold-check
6m 21s
Annotations
3 errors
|
check
Canceling since a higher priority waiting request for Agda-refs/pull/69/merge exists
|
|
cold-check
Canceling since a higher priority waiting request for Agda-refs/pull/69/merge exists
|
|
Agda
Canceling since a higher priority waiting request for Agda-refs/pull/69/merge exists
|