tree-sitter-alt-ergo Write a parser for the comment with Menhir Write the EBNF of the language Write some tests and examples Document the installation in Neovim