Expressões e valores, funções, tipos; Definições por casamento de padrão; Abstração funcional (polimorfismo e funções de alta ordem); Avaliação de expressões/redução/conversão (lazy, eager); Programação com listas; Programação com tipos concretos; Indução, invariantes e provas.