Agda grammar for tree-sitter
Why do you think that https://github.com/jooooscha/tree-sitter-typst is a good alternative to tree-sitter-agda
Agda grammar for tree-sitter
Why do you think that https://github.com/jooooscha/tree-sitter-typst is a good alternative to tree-sitter-agda