[Haskell-cafe] Help with Bird problem 1.4.1
rj248842 at hotmail.com
Tue May 18 15:49:50 EDT 2010
Newbie trying to get through Bird. Could someone provide a clean solution, with proof (so I can see how these proofs are laid out), to this:
f :: Integer -> Integerg :: Integer -> (Integer -> Integer)
h :: ...h x y = f (g x y)
a. Fill in the type assignment for "h".
b. Which of the following is true: (i) h = f . g (ii) h x = f . (g x) (iii) h x y = f . (g x y)
Hotmail is redefining busy with tools for the New Busy. Get more from your inbox.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe