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