Agda-2.6.2: stack-8.10.5.yaml

resolver: lts-18.0
compiler: ghc-8.10.5
compiler-check: match-exact