a talk about programming w/ #DependentTypes at #31C3 http://bit.ly/1sD5eTS that's, err, surprising
Raúl Benencia, lostson, cmhobbs likes this.
Surprising that dependent types have become mainstream enough for such a conference, or surprising that the computer can write whole paragraphs of code for you if the types are expressive enough? :)
cmhobbs likes this.
joey: the former ; I was already aware of the latter :)
Stefano Zacchiroli at 2015-01-15T17:44:54Z
cmhobbs likes this.