"Fossies" - the Fresh Open Source Software Archive

Member "highlight-3.57-x64/langDefs/agda.lang" (12 May 2020, 963 Bytes) of package /windows/www/highlight-3.57-x64.zip:


As a special service "Fossies" has tried to format the requested text file into HTML format (style: standard) with prefixed line numbers. Alternatively you can here view or download the uninterpreted source code file.

    1 
    2 Description="Agda"
    3 
    4 Categories = {"source"}
    5 
    6 Keywords={
    7     { Id=1,
    8       List={"abstract", "case", "concrete", "data", "do", "in", "interface",
    9             "let", "module", "mutual", "of", "open", "native", "package", "postulate",
   10             "private", "public", "sig", "struct", "type", "use", "set", "type", "abstract",
   11             "data", "forall",   "hiding", "import", "in", "infix",
   12             "infixl", "infixr", "let","module", "mutual", "open",
   13             "postulate", "primitive", "private","public","record", "renaming",
   14             "using", "where", "with"},
   15       },
   16     { Id=2,
   17       List={"integer", "int", "float", "double", "bool", "char"},
   18       },
   19     }
   20 
   21 Strings={
   22     Delimiter=[["]],
   23     }
   24 
   25 IgnoreCase=true
   26 
   27 Comments={
   28     { Block=false,
   29       Delimiter= { [[--]] },
   30       },
   31     { Block=true,
   32       Nested=false,
   33       Delimiter= { [[\{\-]],[[\-\}]],}
   34     }
   35 }
   36 
   37 Operators=[[\(|\)|\[|\]|\{|\}|\,|\;|\:|\&|<|>|\!|\=|\/|\*|\%|\+|\-|\.|\']]