[Haskell-cafe] some simple proof exercises

Michaeljohn Clement mj at mjclement.com
Fri Sep 28 23:55:29 EDT 2007

> 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.


More information about the Haskell-Cafe mailing list