The sources of the Agda introduction at Prezi (presented in 45 minutes, on 11. Oct. 2013)