On Tue, Feb 24, 2009 at 10:25:56AM -0500, Peter Hilal wrote:
Where do I go from here? Thank you so much.
A hint: I don't think you can do it by recursion on (/). You'll need
an auxiliary function. Then prove that your function satisfies the
constraint.
Phil (Unless there's some clever way to repeatedly divide which comes
out with the right answer that I'm not seeing of course...)
--
http://www.kantaka.co.uk/ .oOo. public key: http://www.kantaka.co.uk/gpg.txt
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
