Skip to content
CodeQL Security Analysis

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

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 … #159

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

codeql.yml

on: push
Matrix: analyze
Fit to window
Zoom out
Zoom in