Warning, /frameworks/syntax-highlighting/data/syntax/agda.xml is written in an unsupported language. File is not indexed.
0001 <?xml version="1.0" encoding="UTF-8"?> 0002 <!DOCTYPE language[ 0003 <!ENTITY charsdelim "_;."(){}@"> 0004 <!ENTITY wordsep "(?=[&charsdelim;]|\s|$)"> 0005 ]> 0006 <language name="Agda" version="9" kateversion="5.0" section="Sources" extensions="*.agda" mimetype="text/x-agda" author="Matthias C. M. Troffaes" license="LGPL"> 0007 <highlighting> 0008 <list name="reserved keywords"> 0009 <item>abstract</item> 0010 <item>codata</item> 0011 <item>coinductive</item> 0012 <item>constructor</item> 0013 <item>data</item> 0014 <item>do</item> 0015 <item>eta-equality</item> 0016 <item>field</item> 0017 <item>forall</item> 0018 <item>hiding</item> 0019 <item>import</item> 0020 <item>in</item> 0021 <item>inductive</item> 0022 <item>infix</item> 0023 <item>infixl</item> 0024 <item>infixr</item> 0025 <item>instance</item> 0026 <item>interleaved</item> 0027 <item>let</item> 0028 <item>macro</item> 0029 <item>module</item> 0030 <item>mutual</item> 0031 <item>no-eta-equality</item> 0032 <item>open</item> 0033 <item>overlap</item> 0034 <item>pattern</item> 0035 <item>postulate</item> 0036 <item>primitive</item> 0037 <item>private</item> 0038 <item>public</item> 0039 <item>quote</item> 0040 <item>quoteTerm</item> 0041 <item>record</item> 0042 <item>renaming</item> 0043 <item>rewrite</item> 0044 <item>syntax</item> 0045 <item>tactic</item> 0046 <item>to</item> 0047 <item>unquote</item> 0048 <item>unquoteDecl</item> 0049 <item>unquoteDef</item> 0050 <item>using</item> 0051 <item>variable</item> 0052 <item>where</item> 0053 <item>with</item> 0054 </list> 0055 <contexts> 0056 <context attribute="Normal" lineEndContext="#stay" name="code"> 0057 <RegExpr attribute="Pragma" context="#stay" String="\{-#.*#-\}" /> 0058 <keyword attribute="Keyword" context="#stay" String="reserved keywords" /> 0059 <RegExpr attribute="Type" context="#stay" String="(?:Prop[₀-₉]+|Prop[0-9]*|Set[₀-₉]+|Set[0-9]*)&wordsep;" /> 0060 <RegExpr attribute="Special" context="#stay" String="(?:\->|→|∀|λ|:|=|\|)&wordsep;" /> 0061 <RegExpr attribute="Float" context="#stay" String="\d+(?:(?:\.\d+)?[eE][+-]?\d+|\.\d+)&wordsep;" /> 0062 <RegExpr attribute="Decimal" context="#stay" String="[0-9]+&wordsep;" /> 0063 <DetectChar attribute="Char" context="char" char="'" /> 0064 <DetectChar attribute="String" context="string" char=""" /> 0065 <Detect2Chars attribute="Comment" context="comment" char="-" char1="-" /> 0066 <Detect2Chars attribute="Comment" context="comments" char="{" char1="-" beginRegion="CommentBlock" /> 0067 <Detect2Chars attribute="Hole" context="hole" char="{" char1="!" /> 0068 <!-- delimiters which cannot be part of an identifier, or 0069 backslash which starts a lambda expression --> 0070 <AnyChar attribute="Special" context="#stay" String="&charsdelim;\\" /> 0071 <!-- any other identifier (can contain backslash and single 0072 quote anywhere except at start, but these two special 0073 cases are already taken care off above) --> 0074 <RegExpr attribute="Normal" context="#stay" String="[^&charsdelim;\s]+" /> 0075 </context> 0076 <context attribute="Comment" lineEndContext="#pop" name="comment"> 0077 <IncludeRules context="##Comments" /> 0078 </context> 0079 <context attribute="Comment" lineEndContext="#stay" name="comments" noIndentationBasedFolding="1"> 0080 <Detect2Chars attribute="Comment" context="comments" char="{" char1="-" beginRegion="CommentBlock" /> <!-- for nested comments --> 0081 <Detect2Chars attribute="Comment" context="#pop" char="-" char1="}" endRegion="CommentBlock" /> 0082 <IncludeRules context="##Comments" /> 0083 </context> 0084 <context attribute="Hole" lineEndContext="#stay" name="hole"> 0085 <Detect2Chars attribute="Hole" context="#pop" char="!" char1="}" /> 0086 </context> 0087 <context attribute="Char" lineEndContext="#pop" name="char"> 0088 <Detect2Chars attribute="Char" context="#stay" char="\" char1="'" /> 0089 <DetectChar attribute="Char" context="#pop" char="'" /> 0090 </context> 0091 <context attribute="String" lineEndContext="#stay" name="string"> 0092 <Detect2Chars attribute="String" context="#stay" char="\" char1=""" /> 0093 <DetectChar attribute="String" context="#pop" char=""" /> 0094 </context> 0095 </contexts> 0096 <itemDatas> 0097 <itemData name="Normal" defStyleNum="dsNormal" spellChecking="false" /> 0098 <itemData name="Comment" defStyleNum="dsComment" /> 0099 <itemData name="Pragma" defStyleNum="dsPreprocessor" spellChecking="false" /> 0100 <itemData name="Hole" defStyleNum="dsOthers" spellChecking="false" /> 0101 <itemData name="Keyword" defStyleNum="dsKeyword" spellChecking="false" /> 0102 <itemData name="Type" defStyleNum="dsDataType" spellChecking="false" /> 0103 <itemData name="Special" defStyleNum="dsOthers" spellChecking="false" /> 0104 <itemData name="Decimal" defStyleNum="dsDecVal" spellChecking="false" /> 0105 <itemData name="Float" defStyleNum="dsFloat" spellChecking="false" /> 0106 <itemData name="Char" defStyleNum="dsChar" spellChecking="false" /> 0107 <itemData name="String" defStyleNum="dsString" /> 0108 </itemDatas> 0109 </highlighting> 0110 <general> 0111 <folding indentationsensitive="1"/> 0112 <comments> 0113 <comment name="singleLine" start="--" position="afterwhitespace" /> 0114 <comment name="multiLine" start="{-" end="-}" region="CommentBlock" /> 0115 </comments> 0116 <keywords casesensitive="1" 0117 weakDeliminator=":!+,-<=>%&*/?[]^|~\\" 0118 additionalDeliminator="&charsdelim;" /> 0119 </general> 0120 </language> 0121 <!-- kate: replace-tabs on; tab-width 2; indent-width 2; -->