2024-12-10 21:41:55 -08:00
|
|
|
[ "fun" "λ" "forall" "∏" "let" "in" "end" "def" "axiom" "variable" "hypothesis" "section" "infixl" "infixr" ] @keyword
|
2024-11-20 23:40:22 -08:00
|
|
|
|
2024-11-22 10:38:20 -08:00
|
|
|
(preprocess
|
|
|
|
|
(command) @keyword
|
|
|
|
|
(post_command) @string)
|
|
|
|
|
|
2024-12-10 21:41:55 -08:00
|
|
|
[ "=>" "→" "⇒" "," ":=" ";" ":" ] @punctuation.delimiter
|
|
|
|
|
|
|
|
|
|
(symbol) @operator
|
2024-11-20 22:01:02 -08:00
|
|
|
|
|
|
|
|
[(star) (square)] @constant.builtin
|
|
|
|
|
|
2024-11-20 21:11:03 -08:00
|
|
|
(comment) @comment
|
2024-12-01 20:52:42 -08:00
|
|
|
;(block_comment) @comment
|
2024-11-20 22:01:02 -08:00
|
|
|
|
|
|
|
|
[ "(" ")" ] @punctuation.bracket
|
|
|
|
|
|
|
|
|
|
(definition
|
|
|
|
|
name: (identifier) @function)
|
|
|
|
|
|
2024-12-01 20:55:49 -08:00
|
|
|
(axiom
|
|
|
|
|
name: (identifier) @function)
|
|
|
|
|
|
2024-11-23 10:43:03 -08:00
|
|
|
(binding
|
|
|
|
|
(identifier) @function)
|
|
|
|
|
|
2024-11-20 22:01:02 -08:00
|
|
|
(param_block
|
|
|
|
|
param: (identifier)+ @variable.parameter)
|
|
|
|
|
|
|
|
|
|
(param_block
|
|
|
|
|
type: (expr) @type)
|
2024-11-21 13:39:29 -08:00
|
|
|
|
2024-12-10 23:40:08 -08:00
|
|
|
(variable_binding
|
|
|
|
|
type: (expr) @type)
|
|
|
|
|
|
2024-11-21 13:39:29 -08:00
|
|
|
(ascription
|
|
|
|
|
type: (expr) @type)
|
