Install
Docs
Log In
Register
tree-sitter-agda
Follow
Star
tree-sitter parser for agda
Uploader
neorocks
License
UNKNOWN
Homepage
github.com/tree-sitter/tree-si...
Downloads
4,651
$
luarocks install tree-sitter-agda
Versions
scm-1
dev
8 hours ago
(revision:
1509
)
1,912 downloads
0.0.31-1
41 days ago
345 downloads
0.0.30-1
68 days ago
230 downloads
0.0.29-1
76 days ago
49 downloads
0.0.28-1
77 days ago
14 downloads
0.0.27-1
78 days ago
14 downloads
0.0.26-1
79 days ago
14 downloads
0.0.25-1
80 days ago
14 downloads
0.0.24-1
84 days ago
41 downloads
0.0.23-1
85 days ago
14 downloads
0.0.22-1
86 days ago
14 downloads
0.0.21-1
87 days ago
14 downloads
0.0.20-1
88 days ago
14 downloads
0.0.19-1
89 days ago
14 downloads
0.0.18-1
90 days ago
14 downloads
0.0.17-1
91 days ago
15 downloads
0.0.16-1
92 days ago
14 downloads
0.0.15-1
93 days ago
14 downloads
0.0.14-1
94 days ago
14 downloads
0.0.13-1
95 days ago
14 downloads
0.0.12-1
96 days ago
16 downloads
0.0.11-1
97 days ago
14 downloads
0.0.10-1
98 days ago
15 downloads
0.0.9-1
98 days ago
10 downloads
0.0.8-1
99 days ago
10 downloads
0.0.7-1
100 days ago
10 downloads
0.0.6-1
101 days ago
13 downloads
0.0.5-1
102 days ago
13 downloads
0.0.4-1
103 days ago
15 downloads
0.0.3-1
103 days ago
14 downloads
0.0.2-1
155 days ago
151 downloads
0.0.1-1
157 days ago
73 downloads
Dependencies
lua
>= 5.1
Manifests
root