Skip to content

WIP: Bump past agda/agda#8367#593

Merged
plt-amy merged 4 commits intomainfrom
aliao/only-instance-instances
Mar 18, 2026
Merged

WIP: Bump past agda/agda#8367#593
plt-amy merged 4 commits intomainfrom
aliao/only-instance-instances

Commits

Commits on Mar 18, 2026