diff options
| author | ShootingStarDragons <ShootingStarDragons@protonmail.com> | 2022-08-27 08:40:42 +0800 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2022-08-27 01:46:09 -0700 |
| commit | 783fec381514d320af114f22d478d9fc371fca1c (patch) | |
| tree | b29010a81a38ff219e7c94fbd6af9cf6031b9a47 /queries/agda | |
| parent | bf8e98751947814071a64b2949cee6e25b70c49a (diff) | |
feat(agda): better highlight
Add highlight for bool
add highlight for function
Log: better highlight
Diffstat (limited to 'queries/agda')
| -rw-r--r-- | queries/agda/highlights.scm | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/queries/agda/highlights.scm b/queries/agda/highlights.scm index 18dd1a4c..2f843ef7 100644 --- a/queries/agda/highlights.scm +++ b/queries/agda/highlights.scm @@ -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 |