Agda Grammar for tree-sitter

Syntax highlighting and code folding done right (with context-free grammar, finally!)

How to contribute

Install dependencies:

npm install

To see if you have tree-sitter installed:

npx tree-sitter

To generate the parser:

npx tree-sitter generate

Run test to see if everything's okay:

npm test

You may wanna run this on the language-agda's side:

npm install
apm rebuild