tree-sitter-agda
v1.3.1
Published
tree sitter for Agda
Readme
Agda Grammar for tree-sitter
Syntax highlighting and code folding done right (with context-free grammar, finally!)

How to contribute
Install dependencies:
npm installTo see if you have tree-sitter installed:
npx tree-sitterTo generate the parser:
npx tree-sitter generateRun test to see if everything's okay:
npm testYou may wanna run this on the language-agda's side:
npm install
apm rebuild