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

packages:
- .

extra-deps:
- Agda-2.8.0
- network-simple-0.4.2@sha256:3614a0b7e51bcafb5643c3dc3a3a89d20a99671998c8814eb6fc55fa99e38444,1375

flags:
  agda-language-server:
    Agda-2-8-0: true
  Agda:
    # optimise-heavily: true
    enable-cluster-counting: true