How Focusing Resolves Stuck Terms in Core Evaluation | HackerNoon
We have lifted a subcomputation to the outside of the term we are evaluating. This kind of transformation is called focusing and we use it to solve the problem with stuck terms in Core.