Aula 7 (T)
Definições locais. Operadores infixos. Funções com guardas.
Os construtores atómicos do tipo lista. Definição de funções recursivas sobre listas.