Agda-2.9.0: stack-9.12.4.yaml
resolver: nightly-2026-11-10 compiler: ghc-9.12.4 compiler-check: match-exact # Local packages specified by relative directory name. packages: - '.'
resolver: nightly-2026-11-10 compiler: ghc-9.12.4 compiler-check: match-exact # Local packages specified by relative directory name. packages: - '.'