Sha256: cb5226f0321a2cc79bf5450484340c0c0b4e2b21ff67600f81a3ad37f5abd127
Contents?: true
Size: 798 Bytes
Versions: 27
Compression:
Stored size: 798 Bytes
Contents
{"name":"Grammatical Framework","scopeName":"source.gf","patterns":[{"name":"keyword.module.gf","match":"\\b(abstract|concrete|interface|instance|resource|incomplete|of|with|open|in)\\b"},{"name":"keyword.judgement.gf","match":"\\b(cat|fun|def|data|lincat|lin|lindef|linref|printname|printname|param|oper|flags)\\b"},{"name":"keyword.other.gf","match":"\\b(table|pre|case|variants|let|in|where)\\b"},{"name":"constant.gf","match":"(=\u003e|-\u003e|:|=|\\.|\\+|\\*|!|\\||\\\\)"},{"name":"constant.gf","match":"(;|,)"},{"name":"string.quoted.double.gf","begin":"\"","end":"\"","beginCaptures":{"0":{"name":"punctuation.string.begin.gf"}},"endCaptures":{"0":{"name":"punctuation.string.end.gf"}}},{"name":"comment.line.gf","begin":"--","end":"$"},{"name":"comment.block.gf","begin":"{-","end":"-}"}]}
Version data entries
27 entries across 27 versions & 1 rubygems