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:
98
Downloads last week:
1,168
Downloads last month:
5,138