resolver: lts-20.26
compiler: ghc-9.2.8
# Allow a newer minor version of GHC than the snapshot specifies
compiler-check: newer-minor

packages:
- .

extra-deps:
- Agda-2.6.3

flags:
  Agda:
    # optimise-heavily: true
    enable-cluster-counting: true