added support for preprocessor

This commit is contained in:
William Ball 2024-11-22 10:38:20 -08:00
parent a532a2e1dd
commit 52fa5a5f5e

View file

@ -1,6 +1,10 @@
[ "fun" "λ" "forall" "∏" ] @keyword [ "fun" "λ" "forall" "∏" ] @keyword
(axiom) @keyword (axiom) @keyword
(preprocess
(command) @keyword
(post_command) @string)
[ "->" "=>" "→" "⇒" "," ":=" ";" ":" ] @punctuation.delimiter [ "->" "=>" "→" "⇒" "," ":=" ";" ":" ] @punctuation.delimiter
[(star) (square)] @constant.builtin [(star) (square)] @constant.builtin