resolver: lts-24.1
compiler: ghc-9.10.2
# Allow a newer minor version of GHC than the snapshot specifies
compiler-check: newer-minor
# CI pins and installs GHC itself (haskell-actions/setup, via ghcup); use
# that GHC directly instead of Stack downloading its own separate copy
# into ~/.stack/programs. Without this, every job -- cold or warm alike
# -- pays a redundant full GHC download+configure, since ~/.stack/programs
# is untracked by the cache and Stack is otherwise unaware the
# ghcup-installed GHC exists.
system-ghc: true
packages:
- .
extra-deps:
- Agda-2.6.4.3
- hashable-1.4.7.0@sha256:573f3ab242f75465a0d67ce9d84202650a1606575e6dbd6d31ffcf4767a9a379,6629
- network-simple-0.4.2@sha256:3614a0b7e51bcafb5643c3dc3a3a89d20a99671998c8814eb6fc55fa99e38444,1375
flags:
agda-language-server:
Agda-2-6-4: true
Agda:
# optimise-heavily: true
enable-cluster-counting: true