Zulip Chat Archive
Stream: lean4
Topic: plans for Socket API
Eric Wieser (Jan 17 2021 at 14:44):
If this statement is true, how does the lean language server work?
Christian Pehle (Jan 17 2021 at 14:45):
It uses File I/O
Marc Huisinga (Jan 17 2021 at 15:02):
Eric Wieser said:
If this statement is true, how does the lean language server work?
Editors and the language server communicate via stdin/stdout, which is fairly common for language servers.
Last updated: Dec 20 2023 at 11:08 UTC