tree-sitter parser for agda
1
Version 0.0.31-1 of tree-sitter-agda was uploaded 12 days ago. For lua >= 5.1