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