/* applicative order fixedpoint combinator: _Y F = F (_Y F)
   written by Klaus Barthelmann 08-1993 */

public _Y F;

private fix F X, fix0 X Y;

_Y F		= fix F (fix F);
fix F X		= F (fix0 X);
fix0 X Y	= X X Y;

// example: _Y fac is the factorial

fac F 0		= 1;
fac F N		= N*F (N-1) if N>0;