4 Dec
2008
4 Dec
'08
6:10 p.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.