tree-sitter-agda

tree-sitter parser for agda

$ luarocks install tree-sitter-agda

Versions

scm-1dev11 hours ago(revision: 2473)3,222 downloads
0.0.31-1255 days ago1,705 downloads
0.0.30-1282 days ago230 downloads
0.0.29-1290 days ago49 downloads
0.0.28-1291 days ago14 downloads
0.0.27-1292 days ago14 downloads
0.0.26-1293 days ago14 downloads
0.0.25-1294 days ago14 downloads
0.0.24-1298 days ago41 downloads
0.0.23-1299 days ago14 downloads
0.0.22-1300 days ago14 downloads
0.0.21-1301 days ago14 downloads
0.0.20-1302 days ago14 downloads
0.0.19-1303 days ago14 downloads
0.0.18-1304 days ago14 downloads
0.0.17-1305 days ago15 downloads
0.0.16-1306 days ago14 downloads
0.0.15-1307 days ago14 downloads
0.0.14-1308 days ago14 downloads
0.0.13-1309 days ago14 downloads
0.0.12-1310 days ago16 downloads
0.0.11-1311 days ago14 downloads
0.0.10-1312 days ago15 downloads
0.0.9-1312 days ago13 downloads
0.0.8-1313 days ago10 downloads
0.0.7-1314 days ago10 downloads
0.0.6-1315 days ago13 downloads
0.0.5-1316 days ago13 downloads
0.0.4-1317 days ago15 downloads
0.0.3-1317 days ago14 downloads
0.0.2-11 year ago151 downloads
0.0.1-11 year ago73 downloads

Dependencies

lua >= 5.1

Manifests