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:
61
Downloads last week:
427
Downloads last month:
1,900