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

packages:
- .

# Use some newer versions than in the lts-18.28 snapshot
extra-deps:
- Agda-2.6.2.2
- text-icu-0.8.0.1
- lsp-1.2.0.1
- lsp-types-1.3.0.1

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