On 5/28/06, Dominic Steinitz <dominic.steinitz@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@gmail.com>
"You can't prove anything."
-- Gödel's Incompetence Theorem
