M math.stackexchange.com Why is it worth spending time on type theory? (2013) 89 points mindcrime 1 year ago 45 comments
