Archived tweet #9718 from the @leastfixedpoint Twitter Archive

@PLT_cheater The lines are lambdas. The boxes are applications. When an arrow leads from a corner of an application-box to the underside of a lambda-line, that indicates a reference to the bound variable there. When the arrow points to another box, it's a nested application.