> This answer was: > ‘Assigning mathematical meaning.’ No, you misread. The answer was > The lambda cube is a way to systematically organize the space of ty

> This answer was: > ‘Assigning mathematical meaning.’ No, you misread. The answer was > The lambda cube is a way to systematically organize the space of type theories. All of this was already meaningful before the lambda cube. The cube just organizes what we knew in a systematic way. It shows the relationships between the various systems that exist when they are differentiated on the features that describe their expressive power.