1.3.1 • Published 4 years ago
tree-sitter-agda v1.3.1
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
1.3.1
4 years ago
1.3.0
4 years ago
1.2.1
5 years ago
1.1.1
5 years ago
1.1.0
5 years ago
1.2.0
5 years ago
1.0.16
6 years ago
1.0.15
6 years ago
1.0.14
6 years ago
1.0.13
6 years ago
1.0.12
6 years ago
1.0.10
6 years ago
1.0.8
6 years ago
1.0.7
6 years ago
1.0.6
6 years ago
1.0.5
6 years ago
1.0.4
6 years ago
1.0.3
6 years ago
1.0.2
6 years ago
1.0.1
6 years ago
1.0.0
6 years ago