S stitcher.io Tests and types – on business correctness vs. program correctness 1 points sebdedeyne 7 years ago 0 comments