Tomás Díaz (Sep 16 2021 at 13:44): Tomás Díaz (Sep 16 2021 at 13:44):Hi, I was wondering about the status of the lsp project. I couldn't find much besides the project in coq's github and the discourse post. Is it still going? How can one contribute, etc? Is there somewhere else with more discussion on the topic (e.g. gitter?)?
Karl Palmskog (Sep 16 2021 at 13:49):This sounds like more of a topic for this stream: https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs.20.26.20plugin.20devs
See for example https://github.com/gares/vscoq-language-server
Théo Zimmermann (Sep 16 2021 at 13:56):See also https://github.com/coq-community/vscoq/pull/140. I think this is where the latest developments are located.
Tomás Díaz (Sep 16 2021 at 14:08):Karl Palmskog said:
This sounds like more of a topic for this stream: https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs.20.26.20plugin.20devs
See for example https://github.com/gares/vscoq-language-server
Can I move it there or someone else with more powers ? :o
Tomás Díaz (Sep 16 2021 at 14:09):ty btw :+1:
Notification Bot (Sep 16 2021 at 14:10):This topic was moved here from #coq-community devs & users > LSP server status? by Théo Zimmermann
Enrico Tassi (Sep 16 2021 at 14:40):@Maxime Dénès just started rebasing the vscoq-lang-server repo and integrating it inside a vscoq branch.
Enrico Tassi (Sep 16 2021 at 14:40):help is welcome, if you have time we can have a video chat maybe
Last updated: Dec 05 2023 at 11:01 UTC