Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- f : (a -> b) -> c
- g : a -> (b -> c)
- g' : (a, b) -> c
- g'(a, b) = g(a)(b)
- h_a(b) = g(a, b)
- g(a) = h_a
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement