benbot/nvim-treesitter
1
0
Fork 0
mirror of https://github.com/nvim-treesitter/nvim-treesitter.git synced 2026-07-01 19:17:02 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat(agda): better highlight

Browse source 
Add highlight for bool

add highlight for function

Log: better highlight
This commit is contained in:
ShootingStarDragons 2022-08-27 08:40:42 +08:00 • committed by Stephan Seitz
parent bf8e987519
commit 783fec3815
1 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
queries/agda/highlights.scm
View file

@ -20,6 +20,10 @@
; Set
(SetN) @type.builtin
(expr . (atom) @function)
((atom) @boolean
(#any-of? @boolean "true" "false" "True" "False"))
;; Imports and Module Declarations
@ -27,9 +31,6 @@
(module_name) @namespace
;; Pragmas and comments
(pragma) @constant.macro