[Haskell-cafe] some simple proof exercises
Tim Newsham
newsham at lava.net
Fri Sep 28 23:18:28 EDT 2007
Here are two small problem sets of proofs of Haskell functions.
They are aimed at people who do not have experience writing proofs
and are not necessarily well versed in Haskell. Feedback is appreciated.
http://www.thenewsh.com/%7Enewsham/formal/problems/set1.html
http://www.thenewsh.com/%7Enewsham/formal/problems/set2.html
Tim Newsham
http://www.thenewsh.com/~newsham/
More information about the Haskell-Cafe
mailing list