diff --git a/queries/perga/highlights.scm b/queries/perga/highlights.scm index dce2dde..2265bf4 100644 --- a/queries/perga/highlights.scm +++ b/queries/perga/highlights.scm @@ -1,6 +1,10 @@ [ "fun" "λ" "forall" "∏" ] @keyword (axiom) @keyword +(preprocess + (command) @keyword + (post_command) @string) + [ "->" "=>" "→" "⇒" "," ":=" ";" ":" ] @punctuation.delimiter [(star) (square)] @constant.builtin