lean4-code-actions/tsconfig.json

Refactorings and snippets for Lean 4

{
	"compilerOptions": {
		"module": "commonjs",
		"target": "ES2020",
		"lib": ["ES2020"],
		"baseUrl": ".",
		"rootDir": ".",
		"outDir": "out",
		"skipLibCheck": true,
		"esModuleInterop": true,
		"sourceMap": true,
		"strict": true,
		"noUncheckedIndexedAccess": true,
		"noImplicitReturns": true,
		"noFallthroughCasesInSwitch": true
	},
	"exclude": [
		"node_modules"
	]
}