Type-driven design in automotive C: how much of my code is manual type checking?lmilz.dev1 point·lmilz··0 commentsOpen articleSaveView on HN