why doesn't he just use a y combinator? is he stupid?
>>16385026Y combinator in logic makes whatever logic you're working with inconsistent
>>16385026>untyped lambdasLol
>>16385026Skill issue, some people are more retarded than others.
>>16385026I think it can but then there's the halting problem where we don't know if the function will cease, which is what I think they're referring to