Agda

feat: forget-witness-encoding-has-section — universal LL-encoding gap #822

Sign in to view logs

Triggered via pull request June 21, 2026 02:25

opened #257

claude/echo-ll-universal

Status Success

Total duration 10m 48s

Artifacts –

agda.yml

on: pull_request