Call 25 09 2023

When and Where

• Where: https://rdv2.rendez-vous.renater.fr/coq-lsp
• When: 5pm CET, Monday 25th September, 2023

Agenda

• roadmap update (Emilio, 10 mins)
  • workspace panel

Candidate topics

• extension API (client)
• extension API (server)
• moving from github.com/ejgallego to a different place
• Web Worker https://github.com/ejgallego/coq-lsp/pull/433
• organizing better the several jsCoq / coq-lsp components

Notes

Attending: Bhakti and Emilio

• discussed about coq-lsp and project ideas