Call 06 03 2023

When and Where

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

Topics

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

Notes

Attending: Emilio and Tomás

• we did discuss about how to better organize the coq-lsp roadmap, Tomás made good points about the current org:

  • roadmap is orientative, contributors should be free to update it
  • 3 core topics in the roadmap
  • 0.1.7: web worker support, general refinement
  • 0.1.8: better document exploration, layers, display of notations
  • 0.2.0: workspace support

• discussion about how to better display error messages

  • proposal to use a pinned div, no other ideas
  • Tomás asks about coq-lsp UI design methodology
  • So far we have been doing it a bit based on our experience, and looking at other systems

• we did discuss a bit more about UI design and discussed briefly about Andrew's Head papers and course

• Interest in programming with holes, some discussion about it

• UI Meeting March 21st, we may prepare a small presentation