Current File : //usr/share/highlight/langDefs/agda.lang

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