Lecture overview -- Keyboard shortcut: 'u'  Previous page: Referential Transparency [Section] -- Keyboard shortcut: 'p'  Next page: An illustration of referential transparency -- Keyboard shortcut: 'n'  Lecture notes - all slides together  Annotated slide -- Keyboard shortcut: 't'  Alphabetic index  Help page about these notes  Course home    Evaluation Order and Infinite Lists - slide 2 : 27

Referential transparency
Two equal expressions can substitute each other without affecting the meaning of a functional program
Equals can be replaced by equals