Closed
Description
- We have no documentation about each plugin but wingman (kudos to @isovector for taking care of)
- This is 😞 and makes their use, maintenance and contributor initial work harder
- The documentation could live in the readme of each one (like wingman)
- As part of such documentation we could include the relevant server configuration (so we will make progress on Documenting the new generic config for plugins #1433)
- It should include:
- demos on how it works and a general description
- the configuration controlling it as commented above
- requirements to make it work (see Document what ghc warnings are needed for each ghcide feature (f.e.
-Wredundant-imports
for remove unused imports) #2064), kown issues, etc - tech doc about its organization, tech decisions made and their rationale, etc