{
  "atom": {
    "formatOnSave": false
  },
  "compilerOptions": {
    "declaration": false,
    "module": "amd",
    "noImplicitAny": false,
    "noLib": false,
    "outDir": "..",
    "preserveConstEnums": true,
    "removeComments": true,
    "suppressImplicitAnyIndexErrors": true,
    "target": "es5"
  },
  "filesGlob": [
    "*.ts",
    "coq/*.ts",
    "editor/*.ts",
    "peacoq/*.ts",
    "prooftree/*.ts",
    "typings/main.d.ts"
  ],
  "formatCodeOptions": {
    "indentSize": 2,
    "tabSize": 4,
    "newLineCharacter": "\r\n",
    "convertTabsToSpaces": true,
    "insertSpaceAfterCommaDelimiter": true,
    "insertSpaceAfterSemicolonInForStatements": true,
    "insertSpaceBeforeAndAfterBinaryOperators": true,
    "insertSpaceAfterKeywordsInControlFlowStatements": true,
    "insertSpaceAfterFunctionKeywordForAnonymousFunctions": false,
    "insertSpaceAfterOpeningAndBeforeClosingNonemptyParenthesis": false,
    "placeOpenBraceOnNewLineForFunctions": false,
    "placeOpenBraceOnNewLineForControlBlocks": false
  }
}