tree-sitter/tree-sitter-agda Issues
No features appear
Updatednpm install error on Win10
UpdatedGrammar failing with 0.15.3
Closed 2Unicode symbols breaking the scanner
Updated 1All highlight seems broken
Closed 7Highlight Set₀ Set₁ ... Setω
UpdatedTravis CI
Closed 1