Commit graph

5 commits

Author SHA1 Message Date
ObserverOfTime
9b43ab819c highlights: use @preproc where appropriate 2022-10-15 08:49:01 -07:00
ShootingStarDragons
783fec3815 feat(agda): better highlight
Add highlight for bool

add highlight for function

Log: better highlight
2022-08-27 01:46:09 -07:00
ShootingStarDragons
c5eed2f2cd fix wrong parse
change maintainers
2022-08-16 11:38:50 -07:00
ShootingStarDragons
25baab9f59 add regenerate the treesitter 2022-08-16 11:38:50 -07:00
ShootingStarDragons
a773660882 add highlights 2022-08-16 11:38:50 -07:00