HOC - Higher Order Company Kind, linguagem de programação funcional e assistente de provas Capítulo 2 - Básico Capítulo 3 - Prova por indução Capítulo 4 - Estrutura de dados Capítulo 5 - Polimorfismo Capítulo 6 - Lógica em Kind