Johnny Healey's Homepage



Y=lambda x:(lambda p:x(lambda a:p(p)(a)))(lambda p:x(lambda a:p(p)(a)))