GitHub repository: wenkokke/tree-sitter-agda
Description: Agda grammar for tree-sitter