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

Name		Name	Last commit message	Last commit date
Latest commit History 237 Commits
.github/workflows		.github/workflows
bindings		bindings
corpus		corpus
examples		examples
queries		queries
src		src
todo		todo
.eslintrc.js		.eslintrc.js
.gitattributes		.gitattributes
.gitignore		.gitignore
.npmignore		.npmignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
LICENSE		LICENSE
README.md		README.md
binding.gyp		binding.gyp
grammar.js		grammar.js
package.json		package.json
parser.y		parser.y