language-agda

Syntax highlighting for Agda

Enable tree-sitter

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? 😉

How to contribute

1. clone the repo and load it as a development package
2. open the repo in the development mode

apm develop language-agda
atom -d ~/github/language-agda