Agda Grammar for tree-sitter

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

Issues to be resolved

• Dangling in after let, please refrain from putting in after a newline.

f x = let y = x
          z = x
      in y

How to contribute

• documentation

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