PyPI page
Home page
Author:
Lua Ting-Gian
License:
MIT
Summary:
Agda grammar for tree-sitter
Latest version:
1.3.3
Optional dependencies:
tree-sitter
Downloads last day:
148
Downloads last week:
1,072
Downloads last month:
4,159