From 9b06b0bb9b7b6c10a87669d61ae45e47cb143f70 Mon Sep 17 00:00:00 2001 From: William Ball Date: Wed, 20 Nov 2024 23:39:17 -0800 Subject: [PATCH] forgot 'axiom' as a keyword --- queries/perga/highlights.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/queries/perga/highlights.scm b/queries/perga/highlights.scm index c306028..a9f1d56 100644 --- a/queries/perga/highlights.scm +++ b/queries/perga/highlights.scm @@ -1,4 +1,4 @@ -[ "fun" "λ" "forall" "∏" ] @keyword +[ "fun" "λ" "forall" "∏" "axiom" ] @keyword [ "->" "=>" "→" "⇒" "," ":=" ";" ":" ] @punctuation.delimiter [(star) (square)] @constant.builtin