Re: [Haskell-cafe] Help with Bird problem 3.3.3

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