Skip to content

Bump to agda-2.8.0#35

Merged
omelkonian merged 1 commit intomasterfrom
agda-v2.8.0
Aug 5, 2025
Merged

Bump to agda-2.8.0#35
omelkonian merged 1 commit intomasterfrom
agda-v2.8.0

Commits

Commits on Aug 5, 2025