-
Notifications
You must be signed in to change notification settings - Fork 4
/
Agda.tmLanguage
122 lines (122 loc) · 3.41 KB
/
Agda.tmLanguage
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
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<!--
| This file is auto-generated from Agda.yml, do not edit it by hand!
-->
<dict>
<key>fileTypes</key>
<array>
<string>agda</string>
</array>
<key>name</key>
<string>Agda</string>
<key>patterns</key>
<array>
<dict>
<key>begin</key>
<string>--</string>
<key>end</key>
<string>$</string>
<key>name</key>
<string>comment.line.double-dash.agda</string>
</dict>
<dict>
<key>begin</key>
<string>{-[^#]</string>
<key>end</key>
<string>-}</string>
<key>name</key>
<string>comment.block.agda</string>
</dict>
<dict>
<key>begin</key>
<string>{-#</string>
<key>end</key>
<string>#-}</string>
<key>name</key>
<string>support.other.agda</string>
</dict>
<dict>
<key>begin</key>
<string>"</string>
<key>end</key>
<string>"</string>
<key>name</key>
<string>string.quoted.double.agda</string>
</dict>
<dict>
<key>match</key>
<string>'([^\\']|\\['\\"[:alnum:]]+)'</string>
<key>name</key>
<string>constant.char.agda</string>
</dict>
<dict>
<key>match</key>
<string>(?<=^|[[:space:]\(\){}])(-?\d+|0x[0-9A-F]+|-?\d+\.\d+((e|E)(\+|-)?\d+)?|-?\d+(e|E)(\+|-)?\d+)(?=[[:space:]\(\){}])</string>
<key>name</key>
<string>constant.numeric.agda</string>
</dict>
<dict>
<key>captures</key>
<dict>
<key>1</key>
<dict>
<key>name</key>
<string>keyword.other.agda</string>
</dict>
<key>2</key>
<dict>
<key>name</key>
<string>entity.name.type.agda</string>
</dict>
</dict>
<key>match</key>
<string>\b(data|record|module|constructor|open *import|open|import)[[:space:]]+([^;\(\){}@"[:space:]]+)</string>
</dict>
<dict>
<key>match</key>
<string>((?<=^|[.;\(\){}@"[:space:]])\?(?=[.;\(\){}@"[:space:]])|{!.*!})</string>
<key>name</key>
<string>entity.name.tag.agda</string>
</dict>
<dict>
<key>match</key>
<string>\b(Set|Prop)[0123456789₀₁₂₃₄₅₆₇₈₉]*(?=$|[[:space:]\(\)\{\}])</string>
<key>name</key>
<string>constant.language.agda</string>
</dict>
<dict>
<key>match</key>
<string>(?<=^|[[:space:]\(\)\{\}])(λ|→|->|∀|=|←|:)(?=[[:space:]\(\)\{\}])</string>
<key>name</key>
<string>keyword.other.agda</string>
</dict>
<dict>
<key>captures</key>
<dict>
<key>1</key>
<dict>
<key>name</key>
<string>keyword.other.agda</string>
</dict>
<key>4</key>
<dict>
<key>name</key>
<string>entity.name.agda</string>
</dict>
</dict>
<key>match</key>
<string>^[[:space:]]*(((abstract|instance|macro|pattern|postulate|primitive|private|syntax|variable|where|let)[[:space:]]+)*)((([^;\(\){}@"[:space:]]+)[[:space:]]+)+)(?=:)</string>
</dict>
<dict>
<key>match</key>
<string>(?<=^|[[:space:]\(\){}])(abstract|constructor|data|do|eta-equality|field|forall|hiding|import|in|inductive|infix|infixl|infixr|instance|interleaved|let|macro|module|mutual|no-eta-equality|open|overlap|pattern|postulate|primitive|private|public|quote|quoteContext|quoteGoal|quoteTerm|record|renaming|rewrite|syntax|tactic|unquote|unquoteDecl|unquoteDef|using|variable|where|with)(?=$|[[:space:]\(\){}])</string>
<key>name</key>
<string>keyword.other.agda</string>
</dict>
</array>
<key>scopeName</key>
<string>source.agda</string>
</dict>
</plist>