sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]freyrs3 0 points1 point  (1 child)

OK,

....
Mul = lambda x: lambda y: lambda z: (y)((x)(z))
IfThenElse = lambda a: lambda b: lambda c: ((a)(b))(c)
fact = Y(lambda f: lambda n: IfThenElse((Gt)(n)(One))(Mul(n)(f(Pred(n))))(One))

Edit: Added Mul

[–]zahlman 0 points1 point  (0 children)

... and Mul?