Agda-2.7.0: stack-9.6.6.yaml

resolver: lts-22.28
compiler: ghc-9.6.6
compiler-check: match-exact