Call 27 02 2023

When and Where

• https://rdv2.rendez-vous.renater.fr/coq-lsp
• Monday February 27rd, 5pm Paris time

Topics

• 0.2.0 roadmap
  • workspace panel
• Web Worker https://github.com/ejgallego/coq-lsp/pull/433

Notes (27/02/2023)

Attending Ali Caglayan, Tomás Díaz, Emilio J. Gallego Arias, summary of the topics discussed:

• Quick intro of coq-lsp (Emilio), main design points
• Tomás asked about the contribution structure of the project
• We will collaborative prepare a technical presentation for new contributors
• Tomás pointed out a few usability issues, these are real and we will address them, in particular one where the error browser is not properly located
• We discussed how to implement workspace-wide symbol location, follow up in issue #317