Günther Schmidt wrote: > > I'm just re-reading the book again, this time doing the exercises though :) > > Is there a site with solutions for the exercises?
Unless you count the haskell-cafe and beginners mailing lists as sites, I don't know any sites which have the solutions. ;) Problem 3.3.3: Construct a program for division from the specification (m * n) / n = m and prove that it's correct. Sketch of a solution: To define a / n , the usual approach of subtracting n from the first argument until something less than n remains will work. Correctness can then be proven by induction on m . Regards, Heinrich Apfelmus -- http://apfelmus.nfshost.com _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe