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:
Given:
f :: Integer -> Integerg :: Integer -> (Integer -> Integer)
h :: ...h x y = f (g x y)
Questions:
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.
http://www.windowslive.com/campaign/thenewbusy?ocid=PID28326::T:WLMTAGL:ON:WL:en-US:WM_HMP:042010_2
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe