PyDigger - unearthing stuff about Python
| Name | Version | Summary | date |
|---|---|---|---|
| tree-sitter-agda | 1.3.3 | Agda grammar for tree-sitter | 2024-11-10 23:30:17 |
Lua Ting-Gian
| hour | day | week | total |
|---|---|---|---|
| 33 | 1086 | 8340 | 274797 |
| Name | Version | Summary | date |
|---|---|---|---|
| tree-sitter-agda | 1.3.3 | Agda grammar for tree-sitter | 2024-11-10 23:30:17 |
Lua Ting-Gian
| hour | day | week | total |
|---|---|---|---|
| 33 | 1086 | 8340 | 274797 |