A note on pre and post conditionsjonase.github.io14 points·jonase··0 commentsOpen articleSaveView on HN