Unifying Programming and Math – The Dependent Type Revolutionspin.atomicobject.com7 pointssimonb14 years ago