28 Sep
2007
28 Sep
'07
11:18 p.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/
28 Sep
28 Sep
11:55 p.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
6609
Age (days ago)
6609
Last active (days ago)
1 comments
2 participants
participants (2)
-
Michaeljohn Clement -
Tim Newsham