Resolução dos exercícios da folha nº1

28 Setembro 2018, 11: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.