| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-10-15 | highlights: use @preproc where appropriate | ObserverOfTime | |
| 2022-08-27 | feat(agda): better highlight | ShootingStarDragons | |
| Add highlight for bool add highlight for function Log: better highlight | |||
| 2022-08-16 | fix wrong parse | ShootingStarDragons | |
| change maintainers | |||
| 2022-08-16 | add regenerate the treesitter | ShootingStarDragons | |
| 2022-08-16 | add highlights | ShootingStarDragons | |
