Skip to content
Agda

[experimental, GATED — do not merge] echo-additive R2/R3: comparative monad/comonad variance protocol #734

Sign in to view logs

[experimental, GATED — do not merge] echo-additive R2/R3: comparative monad/comonad variance protocol

[experimental, GATED — do not merge] echo-additive R2/R3: comparative monad/comonad variance protocol #734

Triggered via pull request June 15, 2026 15:21
@hyperpolymathhyperpolymath
synchronize #220
experimental/echo-additive-r2-r3
Status Success
Total duration 8m 29s
Artifacts –

agda.yml

on: pull_request
check
1m 46s
check
cold-check
8m 24s
cold-check
Fit to window
Zoom out
Zoom in