Switch to published version of tree-sitter-agda #11
Description
Once tree-sitter/tree-sitter-agda#17 is merged / released, we should remove the sha-based npm dep from package.json
{{ message }}
Switch to published version of