This file is indexed.

/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=[[\(|\)|\[|\]|\{|\}|\,|\;|\:|\&|\<|\>|\!|\=|\/|\\|\*|\%|\+|\-|\']]