tree-sitter-agda

tree-sitter parser for agda

UNKNOWN

7,351

$ luarocks install tree-sitter-agda

scm-1dev11 hours ago(revision: 2184)2,910 downloads

0.0.31-1207 days ago1,369 downloads

0.0.30-1234 days ago230 downloads

0.0.29-1242 days ago49 downloads

0.0.28-1243 days ago14 downloads

0.0.27-1244 days ago14 downloads

0.0.26-1245 days ago14 downloads

0.0.25-1246 days ago14 downloads

0.0.24-1250 days ago41 downloads

0.0.23-1251 days ago14 downloads

0.0.22-1252 days ago14 downloads

0.0.21-1253 days ago14 downloads

0.0.20-1254 days ago14 downloads

0.0.19-1255 days ago14 downloads

0.0.18-1256 days ago14 downloads

0.0.17-1257 days ago15 downloads

0.0.16-1258 days ago14 downloads

0.0.15-1259 days ago14 downloads

0.0.14-1260 days ago14 downloads

0.0.13-1261 days ago14 downloads

0.0.12-1262 days ago16 downloads

0.0.11-1263 days ago14 downloads

0.0.10-1264 days ago15 downloads

0.0.9-1265 days ago13 downloads

0.0.8-1266 days ago10 downloads

0.0.7-1266 days ago10 downloads

0.0.6-1267 days ago13 downloads

0.0.5-1268 days ago13 downloads

0.0.4-1269 days ago15 downloads

0.0.3-1269 days ago14 downloads

0.0.2-1321 days ago151 downloads

0.0.1-1323 days ago73 downloads

lua >= 5.1