Agda-2.8.0.2: stack-9.14.1.yaml
resolver: nightly-2026-09-12 compiler: ghc-9.14.1 compiler-check: match-exact # Local packages specified by relative directory name. packages: - '.'
resolver: nightly-2026-09-12 compiler: ghc-9.14.1 compiler-check: match-exact # Local packages specified by relative directory name. packages: - '.'