From 2fb5e97e4f4480802646206d885b17c75f9451a7 Mon Sep 17 00:00:00 2001
From: William Ball <williampi103@gmail.com>
Date: Wed, 20 Nov 2024 21:11:03 -0800
Subject: [PATCH] will this work?

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

diff --git a/queries/perga/highlights.scm b/queries/perga/highlights.scm
new file mode 100644
index 0000000..a44408c
--- /dev/null
+++ b/queries/perga/highlights.scm
@@ -0,0 +1,8 @@
+[ "fun" "λ" "forall" "∏" ] @keyword
+[ "->" "=>" "→" "⇒" "," ":=" ";" ":" ] @punctuation.delimiter
+[ "(" ")" ] @punctuation.bracket
+;[ "*" "□" "[]" ] @constant.builtin
+(comment) @comment
+(identifier) @variable
+;(param) @variable.parameter
+;(type) @type