put

An Exploration of Drawing as Programming Language, Featuring Ideas from Lambda Calculus. post by Lingdong Huang

> […] a "cup" Shape for the function application (for the silly intuition that applying the function is like **put**ting the argument into the "Cup"), […].

The Arrangement axiom gives permission to take multiple forms out of the interior Content of a Frame and put them into separate frames, so long as we carry their Context — i.e. their Frame Type, (A [...]) — along with them.