tree-sitter-agda

tree-sitter parser for agda

UNKNOWN

3,161

$ luarocks install tree-sitter-agda

scm-1dev6 hours ago(revision: 1162)1,385 downloads

0.0.30-18 days ago75 downloads

0.0.29-116 days ago45 downloads

0.0.28-117 days ago10 downloads

0.0.27-118 days ago10 downloads

0.0.26-119 days ago10 downloads

0.0.25-120 days ago10 downloads

0.0.24-124 days ago37 downloads

0.0.23-125 days ago10 downloads

0.0.22-126 days ago10 downloads

0.0.21-127 days ago10 downloads

0.0.20-128 days ago10 downloads

0.0.19-129 days ago10 downloads

0.0.18-130 days ago10 downloads

0.0.17-131 days ago11 downloads

0.0.16-132 days ago10 downloads

0.0.15-133 days ago10 downloads

0.0.14-134 days ago10 downloads

0.0.13-135 days ago10 downloads

0.0.12-136 days ago12 downloads

0.0.11-137 days ago10 downloads

0.0.10-138 days ago11 downloads

0.0.9-139 days ago6 downloads

0.0.8-140 days ago6 downloads

0.0.7-140 days ago6 downloads

0.0.6-141 days ago9 downloads

0.0.5-142 days ago9 downloads

0.0.4-143 days ago11 downloads

0.0.3-143 days ago10 downloads

0.0.2-195 days ago147 downloads

0.0.1-197 days ago69 downloads

lua >= 5.1