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