Type-driven design in automotive C: how much of my code is manual type checking?

	▲	Type-driven design in automotive C: how much of my code is manual type checking?(lmilz.dev)
		1 points by lmilz 10 hours ago