Dependently Typed Programming in Agda

Exercicios que estão na apostila: Dependently Typed Programming in Agda [Ulf Norrel e James Chapman]