Agda

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

Sign in to view logs

Triggered via pull request June 19, 2026 23:25

opened #243

claude/eager-heisenberg-r3gz3c

Status Success

Total duration 11m 54s

Artifacts –

agda.yml

on: pull_request