Agda-2.8.0: stack-9.10.2.yaml
resolver: nightly-2025-07-01 compiler: ghc-9.10.2 compiler-check: match-exact # Local packages specified by relative directory name. packages: - '.'
resolver: nightly-2025-07-01 compiler: ghc-9.10.2 compiler-check: match-exact # Local packages specified by relative directory name. packages: - '.'