5 Dec
2008
5 Dec
'08
2:10 a.m.
I'd like to be able to write something like: \ x y -> f (g x) (h y)
I don't think mathematicians have great notation for it either
Well, there is Combinatory Logic. http://www.haskell.org/haskellwiki/Combinatory_logic J.W.