tree-sitter-agda
| Crates.io | tree-sitter-agda |
| lib.rs | tree-sitter-agda |
| version | 1.3.3 |
| source | src |
| created_at | 2024-11-10 23:15:28.308186 |
| updated_at | 2024-11-10 23:15:28.308186 |
| description | Agda grammar for tree-sitter |
| homepage | |
| repository | https://github.com/tree-sitter/tree-sitter-agda |
| max_upload_size | |
| id | 1443274 |
| size | 16,347,795 |
Max Brunsfeld (maxbrunsfeld)
documentation
README
Agda Grammar for tree-sitter
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