![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=40){kind=avatar}
1 file changed
+1
-1
lines changed- .editorconfig+43
- .eslintrc.js-20
- .gitattributes+10-7
- .github/workflows/ci.yml+38-19
- .github/workflows/fuzz.yml+19
- .github/workflows/lint.yml+13-6
- .github/workflows/release.yml+19-100
- .gitignore+40-6
- .npmignore-5
- CMakeLists.txt+60
- Cargo.lock+52-13
- Cargo.toml+8-5
- Makefile+94
- Package.swift+37
- binding.gyp+18-7
- bindings/c/tree-sitter-agda.h+16
- bindings/c/tree-sitter-agda.pc.in+11
- bindings/go/binding.go+13
- bindings/go/binding_test.go+15
- bindings/node/binding.cc+14-22
- bindings/node/binding_test.js+9
- bindings/node/index.d.ts+28
- bindings/node/index.js+3-15
- bindings/python/tests/test_binding.py+11
- bindings/python/tree_sitter_agda/__init__.py+31
- bindings/python/tree_sitter_agda/__init__.pyi+5
- bindings/python/tree_sitter_agda/binding.c+27
- bindings/python/tree_sitter_agda/py.typed
- bindings/rust/README.md-38
- bindings/rust/build.rs+7-7
- bindings/rust/lib.rs+20-17
- bindings/swift/TreeSitterAgda/agda.h+16
- bindings/swift/TreeSitterAgdaTests/TreeSitterAgdaTests.swift+12
- eslint.config.mjs+5
- go.mod+9
- go.sum+38
- grammar.js+78-89
- package-lock.json+1.5k
- package.json+35-32
- pyproject.toml+30
- setup.py+62
- src/grammar.json+1-1
- src/node-types.json+1
- src/parser.c+271.9k-271.5k
- src/tree_sitter/alloc.h+54
- src/tree_sitter/array.h+290
- src/tree_sitter/parser.h+52-10
- test/corpus/agda-stdlib/Algebra.txt
- test/corpus/agda-stdlib/IO/Primitive.txt
- test/corpus/agda-stdlib/Level.txt
- test/corpus/agda-stdlib/Size.txt
- test/corpus/agda-stdlib/Strict.txt
- test/corpus/declaration/abstract.txt
- test/corpus/declaration/comment.txt
- test/corpus/declaration/data-signature.txt
- test/corpus/declaration/data.txt
- test/corpus/declaration/field.txt
- test/corpus/declaration/function.txt
- test/corpus/declaration/generialize.txt
- test/corpus/declaration/infix.txt
- test/corpus/declaration/instance.txt
- test/corpus/declaration/macro.txt
- test/corpus/declaration/module.txt
- test/corpus/declaration/mutual.txt
- test/corpus/declaration/pattern.txt
- test/corpus/declaration/postulate.txt
- test/corpus/declaration/pragma.txt
- test/corpus/declaration/primitive.txt
- test/corpus/declaration/private.txt
- test/corpus/declaration/record-signature.txt
- test/corpus/declaration/record.txt
- test/corpus/declaration/syntax.txt
- test/corpus/expression/do.txt
- test/corpus/expression/lambda.txt
- test/corpus/expression/let.txt
- test/corpus/expression/record.txt
- tree-sitter.json+40
0 commit comments