GitHub repository: AusCyberman/tree-sitter-agda
Primary language: Yacc
Description: Agda grammar for tree-sitter