Introduction to Optics
The goal of this fast-paced mini-course is to provide a conceptual overview of the most important kinds of optics, including lenses, prisms, and traversals. For most data types, those optics can be automatically generated, something we will discuss.