Stream: Coq devs & plugin devs

Topic: LSP server status?


view this post on Zulip 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?)?

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip Tomás Díaz (Sep 16 2021 at 14:09):

ty btw :+1:

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip Enrico Tassi (Sep 16 2021 at 14:40):

help is welcome, if you have time we can have a video chat maybe


Last updated: Oct 16 2021 at 07:02 UTC