/usr/share/highlight/langDefs/agda.lang is in highlight-common 3.8-2.
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 | -- 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=[[\(|\)|\[|\]|\{|\}|\,|\;|\:|\&|\<|\>|\!|\=|\/|\\|\*|\%|\+|\-|\']]
|