It would probably be relatively easy to port: This is indeed an implementation of an LSP server, and it shall be portable to any other IDE with support for the LSP protocol.
There is a thin Typescript layer for the VSCode extension which basically relays the messages to the LSP server itself, written in Rust (following the same architecture as MM0's assistant). On 15/02/2022 00:39, savask wrote:
Thierry, great work! I was wondering, is your metamath LSP server tied up to Visual Studio? Some other IDEs and editors support LSP (for example, emacs and vim with a plugin), and I'm curious how hard it will be to use your server with a different setup.
-- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/71e33e10-1f72-c79a-986b-3d35339bad0f%40gmx.net.
