News for hackers. Stuff that matters.

A comment on Propositions as Types (2014) [pdf]. Parent comment

Re:Propositions as Types (2014) [pdf] by jcox92 on Friday November 13, 2015 @07:12PM (#10563473)
+1 Probably my favorite talk at Strange Loop this year. It's worth watching just for the minute or so starting here: https://www.youtube.com/watch?v=IOiZatlZtGU&t=33m
[ Parent | on HN ]

There are no comments on this comment yet.