Nick Drozd

That red box for `Name.infer` is an opportunity for improvement.

@kodonnell Take a look at https://github.com/nickdrozd/pylint/commit/dad69557b85b2b2d062cc5c6395c203cd08d5709 I don't know if that's the best way to do it, but it works reasonably well. Here's an unsolicited piece of advice for doing...

I feel like I had an example like that, but I can't remember what it was. Still, it would be nice to filter out suggestions that I know won't be...

As of 26.1, `gensym` is a real part of Elisp, so that particular case no longer matters. The `cl` aliases are still weird in general though.

Yeah, I get the same output. I didn't include it because this is a feature request, not a bug report :)

This is a funny one. Here is what `describe-function` gives (after running `(require 'help)`): ``` help-command is a sparse keymap. Prefix command (definition is a keymap associating keystrokes with commands)....

The screw-up comes in `helpful--signature`, specifically around the handling of `advertised-args`. I don't know what the correct fix is. This is a pathological edge case. How does `describe-function` handle it?

@xiongtx You know, I always see people using Helm*, and I know they swear by it, but it just looks like such a big thing. Maybe some day I'll give...

Besides Idris, I have used three other languages that mix compiled files in with source files: C (`.o`), Elisp (`.elc`), and Python 2 (`.pyc`). All three of these are added...

I added a small module for group homomorphisms. It might be too specialized to be included here, but the proofs are pretty cool, and the alternative is leaving them in...