29 Sep
2007
29 Sep
'07
11: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
11: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
6878
Age (days ago)
6878
Last active (days ago)
1 comments
2 participants
participants (2)
-
Michaeljohn Clement -
Tim Newsham