[Haskell-cafe] Help with Bird problem 3.3.3

Philip Armstrong phil at kantaka.co.uk
Tue Feb 24 18:14:58 EST 2009

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

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

More information about the Haskell-Cafe mailing list