tree-sitter-agda

tree-sitter parser for agda

UNKNOWN

7,890

$ luarocks install tree-sitter-agda

scm-1dev52 minutes ago(revision: 2341)3,090 downloads

0.0.31-1233 days ago1,571 downloads

0.0.30-1260 days ago230 downloads

0.0.29-1268 days ago49 downloads

0.0.28-1269 days ago14 downloads

0.0.27-1270 days ago14 downloads

0.0.26-1271 days ago14 downloads

0.0.25-1272 days ago14 downloads

0.0.24-1276 days ago41 downloads

0.0.23-1277 days ago14 downloads

0.0.22-1278 days ago14 downloads

0.0.21-1279 days ago14 downloads

0.0.20-1280 days ago14 downloads

0.0.19-1281 days ago14 downloads

0.0.18-1282 days ago14 downloads

0.0.17-1283 days ago15 downloads

0.0.16-1284 days ago14 downloads

0.0.15-1285 days ago14 downloads

0.0.14-1286 days ago14 downloads

0.0.13-1287 days ago14 downloads

0.0.12-1288 days ago16 downloads

0.0.11-1289 days ago14 downloads

0.0.10-1290 days ago15 downloads

0.0.9-1290 days ago13 downloads

0.0.8-1291 days ago10 downloads

0.0.7-1292 days ago10 downloads

0.0.6-1293 days ago13 downloads

0.0.5-1294 days ago13 downloads

0.0.4-1294 days ago15 downloads

0.0.3-1295 days ago14 downloads

0.0.2-1346 days ago151 downloads

0.0.1-1348 days ago73 downloads

lua >= 5.1