RE: how to write a simple cat

[Peter Hancock]

>>>>> "Hans" == Hans Aberg <[EMAIL PROTECTED]> writes:

    > One reason flip(.) might be given a symbol similar to multiplication and
    > flip($) a symbol similar to exponentiation is that on the Church integer
    > functionals, these two operations are just the multiplication and
    > exponentiation of those integer functionals.

It would seem to follow that \lambda abstraction is a kind of
logarithm operator (with the bound variable as ``base''..)!

  Peter Hancock