Update to agda-2.8.0, but there are broken files#1

Open

andreasabel wants to merge 1 commit intomasterfrom agda-2.8.0

+39-29

Commits on Nov 25, 2024

Update to agda-2.8.0, but there are broken files
andreasabel
committed