Resolução dos exercícios da folha 1

25 Setembro 2018, 10:30 • André Souto

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.