Call 13 03 2023

Jump to bottom

Emilio Jesús Gallego Arias edited this page Mar 6, 2023 · 1 revision

When and Where

https://rdv2.rendez-vous.renater.fr/coq-lsp
Monday March 13rd, 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