Sha256: e5d14294753875fcecb0265758c48f237d06ba0c6e188e98d23f01de340e5d28
Contents?: true
Size: 660 Bytes
Versions: 7
Compression:
Stored size: 660 Bytes
Contents
{"scopeName":"markdown.lean4.codeblock","patterns":[{"include":"#lean-code-block"}],"repository":{"lean-code-block":{"name":"markup.fenced_code.block.markdown","begin":"(^|\\G)(\\s*)(\\`{3,}|~{3,})\\s*(?i:(lean)(\\s+[^`~]*)?$)","end":"(^|\\G)(\\2|\\s{0,3})(\\3)\\s*$","patterns":[{"contentName":"meta.embedded.block.lean4","begin":"(^|\\G)(\\s*)(.*)","while":"(^|\\G)(?!\\s*([`~]{3,})\\s*$)","patterns":[{"include":"source.lean4"}]}],"beginCaptures":{"3":{"name":"punctuation.definition.markdown"},"5":{"name":"fenced_code.block.language"},"6":{"name":"fenced_code.block.language.attributes"}},"endCaptures":{"3":{"name":"punctuation.definition.markdown"}}}}}
Version data entries
7 entries across 7 versions & 1 rubygems