whpearson comments on On the Fence? Major in CS

[whpearson]

Programming is maths in a way. As evidence I give you the Curry-Howard Correspondence

I really wish my CS degree had included type theory and Coq and the like.