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:
116
Downloads last week:
1,668
Downloads last month:
3,922