language-configuration.json

// Modified from
// https://github.com/leanprover/vscode-lean/blob/master/language-configuration.json
{
  "comments": {
    "lineComment": "--",
    "blockComment": [
      "{-",
      "-}"
    ]
  }, // symbols used as brackets
  "brackets": [
    [
      "{",
      "}"
    ],
    [
      "[",
      "]"
    ],
    [
      "(",
      ")"
    ]
  ],
  "autoClosingPairs": [
    {
      "open": "{- ",
      "close": " -}",
      "notIn": [
        "comment"
      ]
    },
    {
      "open": "{-- ",
      "close": " --}",
      "notIn": [
        "comment"
      ]
    },
    {
      "open": "{",
      "close": "}",
      "notIn": [
        "comment"
      ]
    },
    {
      "open": "[",
      "close": "]"
    },
    {
      "open": "(",
      "close": ")"
    },
    {
      "open": "\"",
      "close": "\"",
      "notIn": [
        "string"
      ]
    },
    [
      "⁅",
      "⁆"
    ],
    [
      "⟮",
      "⟯"
    ],
    [
      "⁽",
      "⁾"
    ],
    [
      "₍",
      "₎"
    ],
    [
      "〈",
      "〉"
    ],
    [
      "⟅",
      "⟆"
    ],
    [
      "⟦",
      "⟧"
    ],
    [
      "⟨",
      "⟩"
    ],
    [
      "⟪",
      "⟫"
    ],
    [
      "⦃",
      "⦄"
    ],
    [
      "〈",
      "〉"
    ],
    [
      "《",
      "》"
    ],
    [
      "‹",
      "›"
    ],
    [
      "«",
      "»"
    ],
    [
      "「",
      "」"
    ],
    [
      "『",
      "』"
    ],
    [
      "【",
      "】"
    ],
    [
      "〔",
      "〕"
    ],
    [
      "〖",
      "〗"
    ],
    [
      "〚",
      "〛"
    ],
    [
      "︵",
      "︶"
    ],
    [
      "︷",
      "︸"
    ],
    [
      "︹",
      "︺"
    ],
    [
      "︻",
      "︼"
    ],
    [
      "︽",
      "︾"
    ],
    [
      "︿",
      "﹀"
    ],
    [
      "﹁",
      "﹂"
    ],
    [
      "﹃",
      "﹄"
    ],
    [
      "﹙",
      "﹚"
    ],
    [
      "﹛",
      "﹜"
    ],
    [
      "﹝",
      "﹞"
    ]
  ],
  "surroundingPairs": [
    [
      "(",
      ")"
    ],
    [
      "[",
      "]"
    ],
    [
      "⁅",
      "⁆"
    ],
    [
      "⁽",
      "⁾"
    ],
    [
      "₍",
      "₎"
    ],
    [
      "〈",
      "〉"
    ],
    [
      "⎴",
      "⎵"
    ],
    [
      "⟅",
      "⟆"
    ],
    [
      "⟦",
      "⟧"
    ],
    [
      "⟨",
      "⟩"
    ],
    [
      "⟪",
      "⟫"
    ],
    [
      "⦃",
      "⦄"
    ],
    [
      "‹",
      "›"
    ],
    [
      "«",
      "»"
    ],
    [
      "「",
      "」"
    ],
    [
      "『",
      "』"
    ],
    [
      "【",
      "】"
    ],
    [
      "〔",
      "〕"
    ],
    [
      "〖",
      "〗"
    ],
    [
      "〚",
      "〛"
    ],
    [
      "︵",
      "︶"
    ],
    [
      "︷",
      "︸"
    ],
    [
      "︹",
      "︺"
    ],
    [
      "︻",
      "︼"
    ],
    [
      "︽",
      "︾"
    ],
    [
      "︿",
      "﹀"
    ],
    [
      "﹁",
      "﹂"
    ],
    [
      "﹃",
      "﹄"
    ],
    [
      "﹙",
      "﹚"
    ],
    [
      "﹛",
      "﹜"
    ],
    [
      "﹝",
      "﹞"
    ],
    [
      "｢",
      "｣"
    ],
    [
      "\"",
      "\""
    ]
  ],
  "wordPattern": "[^(\\s|;|\\{|\\}|\\(|\\)|@)]+",
  "folding": {
    "offSide": true
  }
}