| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | chore: switch agda upstream | ShootingStarDragons | 2023-09-18 | 1 | -1/+0 |
| * | feat: @spell on comments | Jaehwang Jung | 2023-09-12 | 1 | -1/+1 |
| * | highlights: use @preproc where appropriate | ObserverOfTime | 2022-10-15 | 1 | -1/+1 |
| * | feat(agda): better highlight | ShootingStarDragons | 2022-08-27 | 1 | -3/+4 |
| * | fix wrong parse | ShootingStarDragons | 2022-08-16 | 1 | -1/+1 |
| * | add regenerate the treesitter | ShootingStarDragons | 2022-08-16 | 1 | -0/+4 |
| * | add highlights | ShootingStarDragons | 2022-08-16 | 1 | -0/+81 |
 |
index : nvim-treesitter | |
| [no description] | git mirrorbot |
| summaryrefslogtreecommitdiffstats |