Capturing program invariants in ATSbluishcoder.co.nz3 points·doublec··0 commentsOpen articleSaveView on HN