The Power of Negative Thinking (re: exceptions and type theory)existentialtype.wordpress.com2 points·dllthomas··0 commentsOpen articleSaveView on HN