arborium-agda
Agda grammar for arborium (tree-sitter bindings)
Activity
- Latest release
- 2w ago
- Total releases
- 49
- Cadence
- ~daily
- Last 12 months
- 49
Details
- License
- MIT
- First release
- Dec 04, 2025
Releases
| Version | Released | |
|---|---|---|
2.18.2
patch
| ||
2.18.1
unknown
| ||
2.18.0
unknown
| ||
2.17.0
unknown
| ||
2.16.0
unknown
| ||
2.15.0
unknown
| ||
2.14.0
unknown
| ||
2.13.0
unknown
| ||
2.12.4
unknown
| ||
2.12.3
unknown
| ||
2.12.2
unknown
| ||
2.12.1
unknown
| ||
2.12.0
unknown
| ||
2.11.0
unknown
| ||
2.10.0
unknown
| ||
2.9.0
unknown
| ||
2.8.0
unknown
| ||
2.7.0
unknown
| ||
2.6.1
unknown
| ||
2.6.0
unknown
| ||
2.5.0
unknown
| ||
2.4.7
unknown
| ||
2.4.6
unknown
| ||
2.4.5
unknown
| ||
2.4.4
unknown
| ||
2.4.3
unknown
| ||
2.4.2
unknown
| ||
2.4.1
unknown
| ||
2.4.0
unknown
| ||
2.3.2
unknown
| ||
2.3.1
unknown
| ||
2.3.0
unknown
| ||
2.2.0
unknown
| ||
2.1.0
unknown
| ||
2.0.0
unknown
| ||
1.3.0
unknown
| ||
1.2.3
unknown
| ||
1.2.2
unknown
| ||
1.2.1
unknown
| ||
1.2.0
unknown
| ||
1.1.5
unknown
| ||
1.1.3
unknown
| ||
1.1.1
unknown
| ||
1.0.0
unknown
| ||
0.901.0
unknown
| ||
0.900.0
unknown
| ||
0.700.0
unknown
| ||
0.622.0
unknown
| ||
0.1.3
unknown
|