Agda-2.6.4.2: stack-9.6.4.yaml

resolver: lts-22.9
compiler: ghc-9.6.4
compiler-check: match-exact