will this work?

This commit is contained in:
William Ball 2024-11-20 21:11:03 -08:00
parent 47ed3ffe25
commit 2fb5e97e4f

View file

@ -0,0 +1,8 @@
[ "fun" "λ" "forall" "∏" ] @keyword
[ "->" "=>" "→" "⇒" "," ":=" ";" ":" ] @punctuation.delimiter
[ "(" ")" ] @punctuation.bracket
;[ "*" "□" "[]" ] @constant.builtin
(comment) @comment
(identifier) @variable
;(param) @variable.parameter
;(type) @type