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.
To enable 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? 😉
- clone the repo and load it as a development package
- open the repo in the development mode
apm develop language-agda
atom -d ~/github/language-agda