18 May
2010
18 May
'10
3:49 p.m.
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:W...