Commit graph

7 commits

Author SHA1 Message Date
ShootingStarDragons
6a865af171 chore: switch agda upstream 2023-09-18 07:42:58 +02:00
Jaehwang Jung
9567185621 feat: @spell on comments 2023-09-12 17:34:58 +02:00
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