AGDA grammar for tree-sitter
This crate provides the agda language grammar for use with tree-sitter.
- Coverage
- 100%
5 out of 5 items documented0 out of 1 items with examples - Size
- Source code size: 16.35 MB This is the summed size of all the files inside the crates.io package for this release.
- Documentation size: 319.16 kB This is the summed size of all files generated by rustdoc for all configured targets
- Links
-
bearcove/arborium
339 14 14 - crates.io
- Dependencies
- Versions
-
- 2.12.4 (2026-01-18)
- 2.12.3 (2026-01-17)
- 2.10.0 (2026-01-13)
- 2.9.0 (2026-01-12)
- 2.8.0 (2026-01-12)
- 2.7.0 (2026-01-10)
- 2.6.1 (2026-01-09)
- 2.6.0 (2026-01-05)
- 2.5.0 (2026-01-03)
- 2.4.7 (2025-12-30)
- 2.4.6 (2025-12-27)
- 2.4.5 (2025-12-23)
- 2.4.4 (2025-12-23)
- 2.4.3 (2025-12-22)
- 2.4.2 (2025-12-22)
- 2.4.1 (2025-12-22)
- 2.4.0 (2025-12-22)
- 2.3.2 (2025-12-15)
- 2.3.1 (2025-12-15)
- 2.3.0 (2025-12-14)
- 2.2.0 (2025-12-14)
- 2.1.0 (2025-12-13)
- 2.0.0 (2025-12-13)
- 1.3.0 (2025-12-13)
- 1.2.3 (2025-12-12)
- 1.2.2 (2025-12-12)
- 1.2.1 (2025-12-12)
- 1.2.0 (2025-12-12)
- 1.1.5 (2025-12-11)
- 1.1.3 (2025-12-11)
- 1.1.1 (2025-12-11)
- 1.0.0 (2025-12-09)
- 0.901.0 (2025-12-09)
- 0.900.0 (2025-12-09)
- 0.700.0 (2025-12-09)
- 0.622.0 (2025-12-09)
- 0.1.3 (2025-12-04)
- Owners
-