partial application

Peter G. Hancock
Mon, 18 Mar 2002 17:31:14 +0000

Apropos of section notation, don't forget flip, alias the C
combinator. It allows you to express partial applications "to the next
argument but one" is in operator section notation.

We can express (usually horribly) any affine lambda-abstraction with
flip, (.), id and const.

Peter Hancock