diff options
| -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 |