blob: 4626a8c12caec6cb23215db2c69b69f02284293b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
; Constants
(integer) @number
; Variables and Symbols
(typed_binding
(atom
(qid) @variable))
(untyped_binding) @variable
(typed_binding
(expr) @type)
(id) @function
(bid) @function
(function_name
(atom
(qid) @function))
(field_name) @function
[
(data_name)
(record_name)
] @constructor
; Set
(SetN) @type.builtin
(expr
.
(atom) @function)
((atom) @boolean
(#any-of? @boolean "true" "false" "True" "False"))
; Imports and Module Declarations
"import" @keyword.import
(module_name) @module
; Pragmas and comments
(pragma) @keyword.directive
(comment) @comment @spell
; Keywords
[
"where"
"data"
"rewrite"
"postulate"
"public"
"private"
"tactic"
"Prop"
"quote"
"renaming"
"open"
"in"
"hiding"
"constructor"
"abstract"
"let"
"field"
"mutual"
"module"
"infix"
"infixl"
"infixr"
] @keyword
"record" @keyword.type
;(expr
; f_name: (atom) @function)
; Brackets
[
"("
")"
"{"
"}"
] @punctuation.bracket
"=" @operator
|
