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:
0
Downloads last week:
4
Downloads last month:
86