On 5/28/06, Dominic Steinitz <dominic.steinitz at blueyonder.co.uk> wrote:
> Is this defined in some library? Thanks, Dominic.
Don't think so. I use:
\a b -> f (g a b)
--
Taral <taralx at gmail.com>
"You can't prove anything."
-- Gödel's Incompetence Theorem