tree-sitter-agda (npm): tree sitter for Agda
Keywords: agda|context-free-grammar|syntax-highlighting|tree-sitter