Agda-2.6.3.1: stack-9.8.4.yaml
resolver: lts-23.28 compiler: ghc-9.8.4 compiler-check: match-exact # Local packages specified by relative directory name. packages: - '.'
resolver: lts-23.28 compiler: ghc-9.8.4 compiler-check: match-exact # Local packages specified by relative directory name. packages: - '.'