Agda

Add Gate 1 adjacency notes for echo types framework #13

Sign in to view logs

Triggered via push April 20, 2026 22:43

main

Status Success

Total duration 1m 12s

Artifacts –

agda.yml

on: push