Ingo Blechschmidt

Sorry that I forgot this issue for so long. @pozzo-balbi, indeed, thank you for your suggestion, in fact I'm doing that exactly as you describe. The reason I'm still interested...

It is :-) You can test it using: > nix-shell -I nixpkgs=https://github.com/iblech/nixpkgs/archive/patch-agda-stdlib1.7.1.tar.gz -p "agda.withPackages (p: [ p.standard-library p.agda-categories ])" The CI only fails because it does not yet have stdlib...

@MatthewDaggitt Thank you for the pointer! I force-pushed to my branch. Let's see what the CI will make of this! :-)

Hm... yes indeed. Any thoughts on that? We could also patch agda-categories locally in nixpkgs.

I guess I'm asking whether a pull request which would bump some of the dependencies would get accepted, even though we don't have a full test suite to check whether...

I agree that waiting for the idle timeout is not very nice when you want to play with Agda :-) By switching to a second virtual desktop by Alt+2 and...