Agda-2.8.0.1: stack-9.10.3.yaml
resolver: lts-24.55 compiler: ghc-9.10.3 compiler-check: match-exact # Local packages specified by relative directory name. packages: - '.'
resolver: lts-24.55 compiler: ghc-9.10.3 compiler-check: match-exact # Local packages specified by relative directory name. packages: - '.'