You must log in or # to comment.
add = ( lambda f: (lambda g: f(lambda *h: g(g)(*h)))( lambda g: f(lambda *h: g(g)(*h)) ) )((lambda _add: lambda a, b: _add(a ^ b, c << 1) if (c := a & b) else a ^ b))
add = (
lambda f: (lambda g: f(lambda *h: g(g)(*h)))(
lambda g: f(lambda *h: g(g)(*h))
)
)((lambda _add: lambda a, b: _add(a ^ b, c << 1) if (c := a & b) else a ^ b))