Start highlights for Helix editor

Author: gruhn

queries/helix-highlights.scm

@@ -0,0 +1,94 @@
+; Highlights configured for Helix editor.
+; See: https://docs.helix-editor.com/themes.html#scopes
+
+[
+  "module"
+  ; "from"
+  ; "as"
+  ; "not"
+  "or"
+  "and"
+  "implies"
+  "iff"
+  "all"
+  "any"
+  "type"
+  "assume"
+  "const"
+  "var"
+  "val"
+  "nondet"
+  "def"
+  "pure"
+  "action"
+  "temporal"
+] @keyword
+
+[
+  "if"
+  "else"
+] @keyword.control.conditional
+
+; [
+;   "import"
+;   "export"
+; ] @keyword.control.import
+
+[
+  "true"
+  "false"
+  "Int"
+  "Nat"
+  "Bool"
+] @constant.builtin
+
+[
+  ";"
+  "."
+  ","
+] @punctuation.delimiter
+
+[
+  "-"
+  "+"
+  "*"
+  "/"
+  "%"
+  "<"
+  "<="
+  "="
+  "=="
+  "!="
+  "=>"
+  ">"
+  ">="
+  "^"
+  "->"
+  ; TODO: and, or, iff, implies
+] @operator
+
+[
+  "("
+  ")"
+  "["
+  "]"
+  "{"
+  "}"
+] @punctuation.bracket
+
+(type) @type
+(int_literal) @constant.numeric.integer
+(comment) @comment
+(string) @string
+
+(operator_application
+  operator: (identifier) @function)
+
+; operator definition is a function if it has at least one argument ...
+(operator_definition
+  name: (identifier) @function
+  arguments: (typed_argument_list))
+; ... or if the right-hand-side is a lambda expression: 
+; (operator_definition
+;   name: (identifier) @function
+;   rhs: (lambda_expr))