Division by zero in type theory: a FAQxenaproject.wordpress.com2 points·ykonstant··0 commentsOpen articleSaveView on HN