idris2-nvim I'm unhappy how they agglutinate lsp and syntax highlights. This is the pure syntax part of it, modified with my personal taste.