Month: May 2012
-
Haskell and exercises
In fall 2011 I took a course that covered, among other things, proving program correctness with some software called Coq. There's a lot to it, and I won't go into that here, but one important part of Galina, the language used in Coq, that I had been unexposed to previously was functional programming. Functional programming…