Andreas Abel
Andreas Abel
Maybe related: - #8100
Why would someone want to uninstall **Agda**? 😆 > 2. How can I uninstall Agda making sure I remove/undo all what was installed/done? Haskell tooling does not support uninstalling. You...
If you installed Agda for Emacs, you might also want to clean two lines added by `agda-mode setup` from your `.emacs` file. Building Agda will often build some dependencies, so...
> One last question, though: do we not know in advance what additional package building&installing `agda` will require? Would that not allow one to completely clean the installation (by removing...
Agda dev meeting 2025-10-15: Alternative: have nicifier lift BUILTINs so that we can already in the scope checker resolve builtins. However, we have a problem with BUILTIN NATURAL / MAYBE...
> What about the test case for issue [#1829](https://github.com/agda/agda/issues/1829)? Dunno, apparently it did not catch the recent accidental breakage of caching, as described in - #8063
You can also earn a honorable mention by proving they are unreachable.
Agda dev meeting 2025-11-12: - @jespercockx : keep syntax of module names the same as for other names for reasons of simplicity
That guess seemed correct: https://github.com/agda/agda/actions/runs/19462232911/job/55688940388?pr=8210#step:8:1 The question is now whether we could have a separate cache for the package index that we could restore before running `stack update` (which is...
A related question: Why are caches for workflow `stack.yml` with 360MB a full 100MB bigger as the ones for `test.yml` with 260MB?