29 Sep
2007
29 Sep
'07
3:18 a.m.
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/
29 Sep
29 Sep
3:55 a.m.
http://www.thenewsh.com/%7Enewsham/formal/problems/set1.html
In P2 there is a typo: 8: Assume: xs ++ [] = zs indhypothesis ^^ I know very little Haskell but the proofs were nonetheless easy enough to follow. HTH, Michaeljohn
6491
Age (days ago)
6491
Last active (days ago)
1 comments
2 participants
participants (2)
-
Michaeljohn Clement -
Tim Newsham