Unifying Programming and Math – The Dependent Type Revolutionspin.atomicobject.com7 points·simonb··0 commentsOpen articleSaveView on HN