brokenix, 6 months ago #Agda grammar for #treesitter https://github.com/tree-sitter/tree-sitter-agda
#Agda grammar for #treesitter https://github.com/tree-sitter/tree-sitter-agda