[Haskell-cafe] Help with Bird problem 3.3.3

[Philip Armstrong]

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