Stefano Volpe

Results 113 comments of Stefano Volpe

Same here. Any updates on this?

idris2-lsp seems alive again, but tree-sitter-idris2 is most certainly still abandoned. > Do be aware that Idris' semantic highlighting is type-directed and cannot be replicated with a grammar-based approach. Actually...

Hi! Any updates on this?

> @amaanq is this still on the docket? I was curious, too.

Whoopsie, hadn't noticed that, sorry. Sure! Done.

Well, there is a good treesitter parser for typst, but it is in treesitter: https://github.com/uben0/tree-sitter-typst. I think it is a pity that ltex-ls interally implements in Kotlin ad-hoc parsers for...

> Some more info, the file endings are varied, I personally use .typst as .typ can be confused with other file types. @HiramTheHero For now you can add the filetype...