| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-10-15 | highlights: use @preproc where appropriate | ObserverOfTime |
| 2022-08-27 | feat(agda): better highlight | ShootingStarDragons |
| 2022-08-16 | fix wrong parse | ShootingStarDragons |
| 2022-08-16 | add regenerate the treesitter | ShootingStarDragons |
| 2022-08-16 | add highlights | ShootingStarDragons |
