From 783fec381514d320af114f22d478d9fc371fca1c Mon Sep 17 00:00:00 2001
From: ShootingStarDragons <ShootingStarDragons@protonmail.com>
Date: Sat, 27 Aug 2022 08:40:42 +0800
Subject: feat(agda): better highlight

Add highlight for bool

add highlight for function

Log: better highlight
---
 queries/agda/highlights.scm | 7 ++++---
 1 file 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
-- 
cgit v1.2.3