When waves of light (or other forms of electromagnetic radiation) encounter a surface or boundary that does not absorb their energy, the waves bounce away from the surface. This phenomenon is known as ...

This is a short introduction to Agda's reflection mechanism. It consists of three files named "ShortIntroReflection" with almost the same content for different use. The .pdf file is the ready content.