Agda-2.9.0: stack-9.2.8.yaml

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

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

extra-deps:
- infinite-list-0.1.2
- pqueue-1.5.0.0
- vector-hashtables-0.1.2.1