Getting riled up about LSP again
Conversation
There are like 4 editors, and if you want to do anything beyond pretending your language is a dialect of Java or Typescript then you are going to have to write extensions anyways
1
6
Microsoft really did a bang-up job marketing this thing: it drags every editor down to the level of VSCode, so why even bother with other editors reimplementation?
1
2
11
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
I’ve said it before, I’ll say it again: we need a protocol for proof assistants!!!
2
8
Curious about what extra things you'd want out of an editor protocol for proof assistants?