Unifying Programming and Math – The Dependent Type Revolution(spin.atomicobject.com)
spin.atomicobject.com
Unifying Programming and Math – The Dependent Type Revolution
http://spin.atomicobject.com/2012/11/11/unifying-programming-and-math-the-dependent-type-revolution/
0 comments
—