Agda.tmLanguage

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<!--
 |	This file is auto-generated from Agda.yml, do not edit it by hand!
-->
<dict>
	<key>fileTypes</key>
	<array>
		<string>agda</string>
	</array>
	<key>name</key>
	<string>Agda</string>
	<key>patterns</key>
	<array>
		<dict>
			<key>begin</key>
			<string>--</string>
			<key>end</key>
			<string>$</string>
			<key>name</key>
			<string>comment.line.double-dash.agda</string>
		</dict>
		<dict>
			<key>begin</key>
			<string>{-[^#]</string>
			<key>end</key>
			<string>-}</string>
			<key>name</key>
			<string>comment.block.agda</string>
		</dict>
		<dict>
			<key>begin</key>
			<string>{-#</string>
			<key>end</key>
			<string>#-}</string>
			<key>name</key>
			<string>support.other.agda</string>
		</dict>
		<dict>
			<key>begin</key>
			<string>"</string>
			<key>end</key>
			<string>"</string>
			<key>name</key>
			<string>string.quoted.double.agda</string>
		</dict>
		<dict>
			<key>match</key>
			<string>'([^\\']|\\['\\"[:alnum:]]+)'</string>
			<key>name</key>
			<string>constant.char.agda</string>
		</dict>
		<dict>
			<key>match</key>
			<string>(?&lt;=^|[[:space:]\(\){}])(-?\d+|0x[0-9A-F]+|-?\d+\.\d+((e|E)(\+|-)?\d+)?|-?\d+(e|E)(\+|-)?\d+)(?=[[:space:]\(\){}])</string>
			<key>name</key>
			<string>constant.numeric.agda</string>
		</dict>
		<dict>
			<key>captures</key>
			<dict>
				<key>1</key>
				<dict>
					<key>name</key>
					<string>keyword.other.agda</string>
				</dict>
				<key>2</key>
				<dict>
					<key>name</key>
					<string>entity.name.type.agda</string>
				</dict>
			</dict>
			<key>match</key>
			<string>\b(data|record|module|constructor|open *import|open|import)[[:space:]]+([^;\(\){}@"[:space:]]+)</string>
		</dict>
		<dict>
			<key>match</key>
			<string>((?&lt;=^|[.;\(\){}@"[:space:]])\?(?=[.;\(\){}@"[:space:]])|{!.*!})</string>
			<key>name</key>
			<string>entity.name.tag.agda</string>
		</dict>
		<dict>
			<key>match</key>
			<string>\b(Set|Prop)[0123456789₀₁₂₃₄₅₆₇₈₉]*(?=$|[[:space:]\(\)\{\}])</string>
			<key>name</key>
			<string>constant.language.agda</string>
		</dict>
		<dict>
			<key>match</key>
			<string>(?&lt;=^|[[:space:]\(\)\{\}])(λ|→|-&gt;|∀|=|←|:)(?=[[:space:]\(\)\{\}])</string>
			<key>name</key>
			<string>keyword.other.agda</string>
		</dict>
		<dict>
			<key>captures</key>
			<dict>
				<key>1</key>
				<dict>
					<key>name</key>
					<string>keyword.other.agda</string>
				</dict>
				<key>4</key>
				<dict>
					<key>name</key>
					<string>entity.name.agda</string>
				</dict>
			</dict>
			<key>match</key>
			<string>^[[:space:]]*(((abstract|instance|macro|pattern|postulate|primitive|private|syntax|variable|where|let)[[:space:]]+)*)((([^;\(\){}@"[:space:]]+)[[:space:]]+)+)(?=:)</string>
		</dict>
		<dict>
			<key>match</key>
			<string>(?&lt;=^|[[:space:]\(\){}])(abstract|constructor|data|do|eta-equality|field|forall|hiding|import|in|inductive|infix|infixl|infixr|instance|interleaved|let|macro|module|mutual|no-eta-equality|open|overlap|pattern|postulate|primitive|private|public|quote|quoteContext|quoteGoal|quoteTerm|record|renaming|rewrite|syntax|tactic|unquote|unquoteDecl|unquoteDef|using|variable|where|with)(?=$|[[:space:]\(\){}])</string>
			<key>name</key>
			<string>keyword.other.agda</string>
		</dict>
	</array>
	<key>scopeName</key>
	<string>source.agda</string>
</dict>
</plist>