Geeks
auscyber
/
tree-sitter-agda
Agda grammar for tree-sitter
Primary Language
Yacc
MIT License
MIT
tree-sitter-agda GitHub
Markdown
Readme
0
Issues
3
Stargazers
2
Watchers
Watchers
jhcloos
eemailme