Andreas Abel
Andreas Abel
The root of the problem is how we type-check records (#434), and a similar issue was #5478: - #434 - #5478 Let's follow along with this slightly modified version of...
An idea to make `cabal run agda` work from arbitrary directories is to use the `--project-file` option of `cabal` and create a `cabal.project` (containing `packages: .`) in the Agda root...
On my local machine I got it to build after installing Xquartz: https://www.xquartz.org/index.html Not sure if this is an option for CI.
I can confirm that `brew install --cask xquartz` installs the necessary prerequisites: https://github.com/teach-afp/afp-code/pull/3/files I only use it for teaching, mostly to run legacy code...
CI fails for 8.0 and 8.2 because of the Semigroup incompatibility. I think these versions should simply be dropped from CI, rather than fixing the imports in the code. To...
> Moreover, `haskell-ci` doesn't like some of the GHC versions configured (`9.6.7, 9.8.4, 9.10.2, 9.12.2`) You need to install `haskell-ci` from its github repo, the released version on hackage is...
Subsumed by #82. - #82
> Shall I close this PR? I'd suggest so. Please consider PR #82 instead. - #82