Agda-2.8.0: stack-9.8.4.yaml

resolver: lts-23.26
compiler: ghc-9.8.4
compiler-check: match-exact

# Local packages specified by relative directory name.
packages:
- '.'