Skip to content
Agda

fix: right-recursive _oplus_ + Phase 1.3 right-monotonicity (closes #… #267

Sign in to view logs

fix: right-recursive _oplus_ + Phase 1.3 right-monotonicity (closes #…

fix: right-recursive _oplus_ + Phase 1.3 right-monotonicity (closes #… #267

Triggered via push May 11, 2026 07:39
@hyperpolymathhyperpolymath
pushed 9312add
main
Status Success
Total duration 3m 36s
Artifacts –

agda.yml

on: push
check
2m 46s
check
Fit to window
Zoom out
Zoom in