Agda-2.6.4: stack-9.6.3.yaml

resolver: nightly-2023-10-03
compiler: ghc-9.6.3
compiler-check: match-exact