Sha256: 9a76c75272c2fb3f91e9ec3e867db2b1308c1dd06e15f4465e92eddf37e6e66b
Contents?: true
Size: 1.43 KB
Versions: 8
Compression:
Stored size: 1.43 KB
Contents
{
"fileTypes": [
"v"
],
"name": "Coq",
"patterns": [
{
"include": "#multilinecomment"
},
{
"beginCaptures": {
"1": {
"name": "keyword.coq"
}
},
"begin": "\\b(Proof)\\.",
"endCaptures": {
"1": {
"name": "keyword.coq"
}
},
"end": "\\b(Qed)\\.",
"name": "proof.coq"
},
{
"captures": {
"1": {
"name": "variable.coq"
}
},
"match": "\\b(Axiom|Conjecture|Parameter|Parameters|Variable|Variables|Hypothesis|Hypotheses|Definition|Let|Fixpoint|CoFixpoint|Inductive|CoInductive|Remark|Fact|Corollary|Proposition|Example|Module|Theorem|Lemma)\\b"
},
{
"captures": {
"1": {
"name": "keyword.coq"
}
},
"match": "\\b(Require|Proof|Qed|Type|Admitted|match|with|end|Eval|in|Check|End|Notation|forall|as|Defined|Set|fun|at|cofix|else|exists|exists2|fix|for|if|IF|let|mod|Prop|return|then|using|where|Abort)\\b"
},
{
"match": ":.*?[,.]",
"name": "type.coq"
}
],
"repository": {
"multilinecomment": {
"begin": "\\(\\*",
"name": "comment.coq",
"end": "\\*\\)",
"contentName": "comment.coq",
"patterns": [
{
"include": "#multilinecomment",
"name": "comment.coq"
}
]
}
},
"scopeName": "source.coq",
"uuid": "f3924813-f5ba-4ccf-b76f-f9bff62c5180"
}
Version data entries
8 entries across 8 versions & 2 rubygems