Agda-2.6.4: stack-9.2.8.yaml

resolver: lts-20.26
compiler: ghc-9.2.8
compiler-check: match-exact