tree-sitter-agda

tree sitter for Agda

Usage no npm install needed!

<script type="module">
  import treeSitterAgda from 'https://cdn.skypack.dev/tree-sitter-agda';
</script>

README

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