tree sitter for Agda

Usage no npm install needed!

<script type="module">
  import treeSitterAgda from '';


Agda Grammar for tree-sitter

Build Status

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