Resolução da folha nº 1

25 Setembro 2018, 11:00 Andreia Mordido

Resolução dos exercícios da folha nº1 correspondentes ao uso de notação de strings e tipos de provas. Indução e construção.