> http://www.thenewsh.com/%7Enewsham/formal/problems/set1.html
In P2 there is a typo:
8: Assume: xs ++ [] = zsindhypothesis
^^
I know very little Haskell but the proofs were nonetheless easy enough
to follow.
HTH,
Michaeljohn
__
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/%7Enews