Stream: Coq devs & plugin devs

Topic: vscoqtop language server


view this post on Zulip Ramkumar Ramachandra (Mar 05 2022 at 10:05):

Where can I find work on the new foundations?

view this post on Zulip Enrico Tassi (Mar 05 2022 at 13:14):

There are a few recent PRs by maxine and an issue to begin with. The new DM is also in our CI, although it is very much WIP.

view this post on Zulip Ramkumar Ramachandra (Mar 05 2022 at 13:18):

What is document manager? Does it use LSP?

view this post on Zulip Enrico Tassi (Mar 05 2022 at 13:40):

yes, with extensions. This is the wip https://github.com/maximedenes/vscoq/tree/document-manager/language-server

view this post on Zulip Ramkumar Ramachandra (Mar 05 2022 at 14:43):

Why is there a server/ component in this extension?

view this post on Zulip Enrico Tassi (Mar 05 2022 at 16:41):

It is a fork of current vscoq, so the MITM code is still there.

view this post on Zulip Ramkumar Ramachandra (Mar 07 2022 at 06:31):

Any near-term merge plans?

view this post on Zulip Enrico Tassi (Mar 07 2022 at 08:42):

We hope to have it working by September


Last updated: Feb 02 2023 at 13:03 UTC