Source code for Fun-FR Agda Tutorials