/usr/share/highlight/langDefs/agda.lang is in highlight-common 3.41-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | 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=[[\(|\)|\[|\]|\{|\}|\,|\;|\:|\&|<|>|\!|\=|\/|\*|\%|\+|\-|\.|\']]
|