{
	"folders": [
		{
			"path": "."
		},
		{
			"path": "text/iclp24"
		},
		{
			"path": "text/kr24"
		}
	],
	"settings": {
		"cSpell.words": [
			"biblatex",
			"cplint",
			"CREDAL",
			"functors",
			"Herbrand",
			"Hirings",
			"interpretability",
			"println",
			"SASP",
			"stablecore",
			"testset",
			"uminus"
		],
		"cSpell.enableFiletypes": [
			"latex"
		],
		"aspLanguage.setConfig": "config.json",
		"julia.environmentPath": "/home/fc/sci/projetos/zugzwang",
		"liveServer.settings.multiRootWorkspaceName": "zugzwang"
	}
}