Agda

fix: right-recursive _oplus_ + Phase 1.3 right-monotonicity (closes #34) #266

Sign in to view logs

Triggered via pull request May 11, 2026 07:38

synchronize #39

fix/right-recursive-oplus

Status Success

Total duration 3m 8s

Artifacts –

agda.yml

on: pull_request