My solutions to the proposed exercices of a Agda tutorial.