The type system of mathematicsqchu.wordpress.com3 points·primodemus··0 commentsOpen articleSaveView on HN