John Soo

I put in a PR at spacemacs: https://github.com/syl20bnr/spacemacs/pull/11098 . Will that suffice for idris-mode, or is more work required?

The spacemacs PR mentioned trying to fix in idris-mode. I tend to think they should be fixed in both places. Certainly there must be a better way to get the...

Thank you very much! Good luck and I'll keep an eye out for it.

It would actually also be really nice if it were possible to add polyfills for `builtins.getFlake` and `builtins.fetchTree` (inasmuch as that is possible).

`nix-shell --pure tests -A run.all` failed for me?? Edit: Had to add `-I nixpkgs=` Edit: Failed with `error: attribute 'shellDryRun' missing, at .../modules/programs/bash.nix:12:9` Edit: switched to nixpkgs revision `eb1f0837a05` and...

I _believe_ this change is backwards-compatible but I am not 100% certain. Edit: The compatibility would be modulo any changes to `runCommand` but I don't know the whole history of...

Hm. I'm not 100% sure this actually fixes the issue. Simply bumping home-manager did the trick. That said, I think this might be good to do?

This seems to have actually been fixed some time recently. Simply bumping home-manager seems to have helped.

According to [the vim documentation on the subject](https://github.com/vim/vim/blob/master/runtime/syntax/README.txt) some maintainer would be listed at the top of the syntax file who would send updated versions to Bram. For example, see...

Errr. Hmm. I am not sure this is really needed anymore. I really wanted `points`, `fill` and `lines`...