agda/agda Issues
GHC 9.10
Closed 1Don't silently ignore `-v`
Closed 2Unhelpful `@++` errors
Updated 2Module parameter `@++` annotations
Updated 3No tests for tagged releases
Updated 5Reorganize `HACKING.md`
UpdatedPrune `Setup.hs`
Closed 5Migrate the Chalmers Wiki
Updated 4Delete the GitHub Wiki
Updated 3Prune the `Makefile`
Updated 7Citation.cff
Closed 1