Ensuring correctness through the type systemlindbakk.com2 points·kamilap··0 commentsOpen articleSaveView on HN