Notepad3 | Tree Sitter Agda | |
---|---|---|
Stars | 4,439 | 28 |
Downloads | ||
Dependent Packages | 1 | |
Dependent Repos | 1 | |
Most Recent Commit | 5 months ago | 9 months ago |
Total Releases | 20 | |
Latest Release | September 16, 2020 | |
Open Issues | 103 | 8 |
License | other | mit |
Programming Language | C++ | Yacc |