Switch to published version of `tree-sitter-agda` - Githubissues

cursorless-dev / vscode-parse-tree

Syntax trees for VSCode using tree-sitter

MIT License

40 stars 35 forks source link

Switch to published version of `tree-sitter-agda` #11

Open pokey opened 2 years ago

pokey commented 2 years ago

Once https://github.com/tree-sitter/tree-sitter-agda/pull/17 is merged / released, we should remove the sha-based npm dep from package.json