Aula 12 (T)
08/11/07 | Teóricas
Definição de novos tipos de dados. Tipos algébricos: exemplos de tipos enumerados e de co-produtos.
Definição do tipo dos números naturais e de funções que manipulam este tipo de dados.