Tests and types – on business correctness vs. program correctnessstitcher.io1 point·sebdedeyne··0 commentsOpen articleSaveView on HN