[Haskell-cafe] Help with Bird problem 1.4.1

R J 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:
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100518/9266642f/attachment.html


More information about the Haskell-Cafe mailing list