singpolyma tweeted, “Prof just said programming takes more time than proofs. He must be good at proofs #cs348 #uwaterloo http://sngpl.ma/t49s0” @ 2011-17 15:15 UTC Leave a Response Name Email Website Comment Authenticate this comment using OpenID. Get replies via e-mail