Agda-2.6.4.1: stack-9.8.1.yaml

resolver: nightly-2023-11-15
compiler: ghc-9.8.1
compiler-check: match-exact

packages:
- '.'

extra-deps:
# (ASR 2023-10-17) Required because `nightly` still has
# `aeson-2.1.2.1` which does not support GHC 9.8.1.
  - aeson-2.2.1.0
  - th-abstraction-0.6.0.0