{"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":"-}"}]}
