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
|
-- Language definition generated by lang2to3
Description="Agda"
Keywords={
{ Id=1,
List={"abstract", "case", "concrete", "data", "do", "in", "interface", "let", "module", "mutual", "of", "open", "native", "package", "postulate", "private", "public", "sig", "struct", "type", "use", "set", "type", "abstract", "data", "forall", "hiding", "import", "in", "infix", "infixl", "infixr", "let", "module", "mutual", "open", "postulate", "primitive", "private", "public", "record", "renaming", "using", "where", "with"},
},
{ Id=2,
List={"integer", "int", "float", "double", "bool", "char"},
},
}
Strings={
Delimiter=[["]],
}
IgnoreCase=true
Comments={
{ Block=false,
Delimiter= { [[--]] },
},
{ Block=true,
Nested=false,
Delimiter= { [[\{\-]],[[\-\}]],}
}
}
Operators=[[\(|\)|\[|\]|\{|\}|\,|\;|\:|\&|\<|\>|\!|\=|\/|\\|\*|\%|\+|\-|\']]
|
