https://blog.shaynefletcher.org/2016/09/the-fixpoint-combinator.html
Shayne Fletcher: The fixpoint combinator
Consider the following recursive definition of the factorial function. \[ FAC = \lambda n.\;IF \left(=\;n...
shayne fletcherfixpointcombinator