Agda-2.7.0: stack-9.8.2.yaml

resolver: nightly-2024-07-13
compiler: ghc-9.8.2
compiler-check: match-exact