Unifying Programming and Math – The Dependent Type Revolutionhttp://spin.atomicobject.com/2012/11/11/unifying-programming-and-math-the-dependent-type-revolution/ by simonb • 14 years ago 7 0 14 years agoSPspin.atomicobject.com