From a7736608825eb4b9d550d1554c48b5b156d6b840 Mon Sep 17 00:00:00 2001
From: ShootingStarDragons <ShootingStarDragons@protonmail.com>
Date: Sun, 10 Jul 2022 14:16:09 +0800
Subject: [PATCH] add highlights

---
 queries/agda/highlights.scm | 81 +++++++++++++++++++++++++++++++++++++
 1 file changed, 81 insertions(+)
 create mode 100644 queries/agda/highlights.scm

diff --git a/queries/agda/highlights.scm b/queries/agda/highlights.scm
new file mode 100644
index 000000000..2a5259824
--- /dev/null
+++ b/queries/agda/highlights.scm
@@ -0,0 +1,81 @@
+
+;; Constants
+(integer) @constant
+
+;; Variables and Symbols
+
+(typed_binding (atom (qid) @variable))
+(untyped_binding) @variable
+(typed_binding (expr) @type)
+
+(id) @function
+(bid) @function
+
+(function_name (atom (qid) @function))
+(field_name) @function
+
+
+[(data_name) (record_name)] @constructor
+
+; Set
+(SetN) @type.builtin
+
+
+;; Imports and Module Declarations
+
+"import"  @include
+
+(module_name) @namespace
+
+
+
+
+;; Pragmas and comments
+
+(pragma) @constant.macro
+
+(comment) @comment
+
+;; Keywords
+[
+  "where"
+  "data"
+  "rewrite"
+  "postulate"
+  "public"
+  "private"
+  "tactic"
+  "Prop"
+  "quote"
+  "renaming"
+  "open"
+  "in"
+  "hiding"
+  "constructor"
+  "abstract"
+  "let"
+  "field"
+  "mutual"
+  "module"
+  "infix"
+  "infixl"
+  "infixr"
+  "record"
+	(ARROW)
+]
+@keyword
+
+;;;(expr 
+;;;	f_name: (atom) @function)
+;; Brackets
+
+[
+  "("
+  ")"
+  "{"
+  "}"]
+@punctuation.bracket
+
+[
+  "="
+] @operator