Submit to tree-sitter?

[shilangyu]

I'm very happy to see a tree sitter grammar for Rocq. Together with the advancements on the LSP, we are getting closer to good neovim support. Thank you!

Have you considered submitting to the list of grammars from tree-sitter https://github.com/tree-sitter/tree-sitter/wiki/List-of-parsers?

[aruzdh]

Yeah! I hope we can have great nvim support soon.

I sent them a msg, but I think they were too busy. The discussion section has lots of unanswered discussions, and the Discord server is pretty much the same.

I'll keep working on it, and I'll try to submit it again once I finish a few more features.
Thank you for your suggestion! Happy to see you here :]