LSP server

[battesonb]

I've recently started working through the P tutorials, and a feature that I am missing in my editor is symbolic renaming, jump to reference/definition, etc. This is a feature request to see if there's any possibiliy for a language server implementation for P specifications.

A treesitter grammar would be a great runner-up or complement to an LSP server.

[battesonb]

I've got an experimental version of a treesitter grammar going this evening: https://github.com/battesonb/tree-sitter-p. I used Claude to generate the initial grammar from the ANTLR grammar. There's probably a more deterministic way to do that transposition.