Geeks
cursorless-dev
/
tree-sitter-agda
Agda grammar for tree-sitter
Primary Language
Yacc
MIT License
MIT
tree-sitter-agda GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
No issues in this repository yet.