| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | feat: more comment injections | Riley Bruins | 2024-06-15 | 1 | -0/+2 |
| * | feat: more `@keyword.type` captures | Riley Bruins | 2024-05-01 | 1 | -1/+2 |
| * | chore: query formatting | Pham Huy Hoang | 2024-01-19 | 2 | -28/+33 |
| * | feat!: align standard captures with upstream | Christian Clason | 2024-01-19 | 1 | -3/+3 |
| * | 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 |
