Skip to content
Agda

Resolve the monad/comonad/adjunction variance of loss in --safe Agda … #795

Sign in to view logs

Resolve the monad/comonad/adjunction variance of loss in --safe Agda …

Resolve the monad/comonad/adjunction variance of loss in --safe Agda … #795

Triggered via push June 19, 2026 23:42
@hyperpolymathhyperpolymath
pushed de02dd9
main
Status Success
Total duration 11m 37s
Artifacts –

agda.yml

on: push
check
1m 45s
check
cold-check
11m 32s
cold-check
Fit to window
Zoom out
Zoom in