Boyd Stephen Smith Jr.

Thanks for the quick reply! Unfortunately, I do need to generate gRPC stubs as well, but I'll still look over that previous version and the issue you linked.

A little surprised this isn't implemented, yet. But, I also don't have time to dig into it right now. Thanks for a great tool, @jaspervdj .

How much of this is generated vs. written? I naturally recoil at treating anything generated as source code and checking it in, though I certainly understand it's the path of...

@pcapriotti Could you give this a look over to see if I'm even on the right track? > The client posts its Welcome messages in the context of a specific...

Could be: https://github.com/readthedocs/recommonmark/issues/177 ?

If so, we'd either have to stop using recommonmark (probably switching to myst_parser like our sphinx conf.py says) or patch recommonmark and use our own version. The patch would be...

I guess we either need to get myst-parser in nixpkgs or maintain our own nix recipe for that. https://github.com/lazyprop/haskell-language-server/blob/master/myst-parser.nix might work are a recipe but as far as I can...

> What is the argument for explicit import lists, in fact? It prevents breakage when a symbol is added to a module. If you do unqualified imports with no import...

> [explicit import lists] are such a pain to manage manually This doesn't match my experience; GHC is quite capable of telling me exactly which symbols are missing / extra...

Lifting a lemma out adds new parameters based on many (all?) local bindings. The TDD with Idris book recommends deleting the unnecessary parameters first thing. I, too, find this behavior...