Type-Directed Expression Transformations
At the end of this series of steps there are no invisible type changes left. The type of each subexpression is the type expected from its context.
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
At the end of this series of steps there are no invisible type changes left. The type of each subexpression is the type expected from its context.