Sha256: 0a87b0b12dda94a6907c808fb1187c0030ed8c64968e5d7a7e6c7a16784c3bf0
Contents?: true
Size: 1.11 KB
Versions: 10
Compression:
Stored size: 1.11 KB
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
10 entries across 10 versions & 1 rubygems