{
	"agdaMode.connection.commandLineOptions": "--safe --cubical --without-K",
	"files.associations": {
		"*.lagda.typ": "agda"
	}
}