/tree-sitter-agda

Agda grammar for tree-sitter

Primary LanguageYaccMIT LicenseMIT

Agda Grammar for tree-sitter

Build Status

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

tree-sitter

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