Syntax highlighting for Agda
The original grammar for Agda is somewhat lacking because it's written in regular expressions. However, with tree-sitter, we can now describe the grammar with context-free grammar, which significantly improves the quality of syntax-highlighting and code-folding.
tree-sitter, which is still experimental for the time being, go to
Settings > Core, and enable the checkbox saying Use Tree Sitter Parsers at the bottom of the page.
Note: this whole tree-sitter thing is still experimental, but, how bad can it be? 😉
apm develop language-agdaatom -d ~/github/language-agda
Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.