previous | top | next

Change the notation for pictures of types

We depend on the orientation of the paper to distinguish the left child of a node from the right child of a node. If we distinguish them explicitly, then we gain a significant amount of freedom in choosing where to place the nodes.